INPUT I1 I2 I3 I4 I5 I6 I7
OUTPUT O1 O2 O3
AND A I1 I2 I3 I4
OR B I3 I4 I7
AND C I4 I5
OR O1 A C
NOT O2 C
OR O3 C I6