Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is blue. Gary is cold. Gary is kind. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Blue, cold people are smart. If Gary is smart then Gary is green. All green people are nice.
Gary is quiet.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4 OR ((triple3) -> rule3))] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple1 triple2) -> rule1))] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((triple12) -> rule3))] Harry is quiet.[(triple15)] Harry is smart.[(triple16 OR ((triple10 triple11) -> rule1))] @1: Gary is smart.[(((triple7 triple8) -> rule1))] @2: Gary is green.[(((((triple7 triple8) -> rule1)) -> rule2))] @3: Gary is nice.[(((((((triple7 triple8) -> rule1)) -> rule2)) -> rule3))]