Anne is blue. Anne is green. Anne is nice. Anne is quiet. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Harry is nice. Harry is quiet. Harry is rough. Nice, green things are quiet. Smart things are blue. If something is rough and quiet then it is smart. If Anne is rough then Anne is nice. If something is cold and rough then it is quiet. If Harry is rough and Harry is blue then Harry is green.
Harry is not smart.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple3 triple2) -> rule1))] Fiona is blue.[(triple5 OR ((triple9) -> rule2) OR ((((triple8 ((triple7 triple6) -> rule1)) -> rule3)) -> rule2))] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9 OR ((triple8 ((triple7 triple6) -> rule1)) -> rule3))] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is quiet.[(triple12 OR ((triple10 triple13) -> rule5))] Gary is rough.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16)] @1: Fiona is quiet.[(((triple7 triple6) -> rule1))] Gary is smart.[(((triple13 triple12) -> rule3) OR ((triple13 ((triple10 triple13) -> rule5)) -> rule3))] Harry is smart.[(((triple16 triple15) -> rule3))] @2: Gary is blue.[(((((triple13 triple12) -> rule3)) -> rule2) OR ((((triple13 ((triple10 triple13) -> rule5)) -> rule3)) -> rule2))] Harry is blue.[(((((triple16 triple15) -> rule3)) -> rule2))] @3: Harry is green.[(((triple16 ((((triple16 triple15) -> rule3)) -> rule2)) -> rule6))]