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