Anne is big. Anne is blue. Anne is quiet. Anne is not red. Fiona is big. Fiona is blue. Fiona is green. Fiona is red. Fiona is not white. Gary is green. Gary is white. Harry is big. Harry is blue. Harry is quiet. Harry is red. Harry is white. If Fiona is green then Fiona is big. If someone is big and not white then they are not quiet. If someone is quiet then they are green. Quiet people are big. If someone is green and not quiet then they are kind. Quiet, kind people are red. If someone is white and not red then they are blue. All quiet people are blue.
Fiona is not white.
@0: Anne is big.[(triple1 OR ((triple3) -> rule4))] Anne is blue.[(triple2 OR ((triple3) -> rule8))] Anne is not red.[(triple4)] Anne is quiet.[(triple3)] Fiona is big.[(triple5 OR ((triple7) -> rule1))] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is not white.[(triple9)] Fiona is red.[(triple8)] Gary is green.[(triple10)] Gary is white.[(triple11)] Harry is big.[(triple12 OR ((triple14) -> rule4))] Harry is blue.[(triple13 OR ((triple14) -> rule8))] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16)] @1: Anne is green.[(((triple3) -> rule3))] Fiona is not quiet.[(((triple5 triple9) -> rule2) OR ((((triple7) -> rule1) triple9) -> rule2))] Harry is green.[(((triple14) -> rule3))] @2: Fiona is kind.[(((triple7 ((triple5 triple9) -> rule2)) -> rule5) OR ((triple7 ((((triple7) -> rule1) triple9) -> rule2)) -> rule5))]