Anne is blue. Anne is kind. Anne is quiet. Anne is red. Anne is young. Fiona is round. Fiona is young. Gary is kind. Gary is red. Harry is blue. Harry is round. Harry is young. Round, young things are red. If something is young and blue then it is red. If something is cold then it is quiet. If something is young then it is kind. If Fiona is round and Fiona is young then Fiona is red. All kind, round things are cold.
Harry is quiet.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule4))] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple5 triple1) -> rule2))] Anne is young.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Gary is kind.[(triple8)] Gary is red.[(triple9)] Harry is blue.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Fiona is kind.[(((triple7) -> rule4))] Fiona is red.[(((triple6 triple7) -> rule1) OR ((triple6 triple7) -> rule5))] Harry is kind.[(((triple12) -> rule4))] Harry is red.[(((triple11 triple12) -> rule1) OR ((triple12 triple10) -> rule2))] @2: Fiona is cold.[(((((triple7) -> rule4) triple6) -> rule6))] Harry is cold.[(((((triple12) -> rule4) triple11) -> rule6))] @3: Fiona is quiet.[(((((((triple7) -> rule4) triple6) -> rule6)) -> rule3))] Harry is quiet.[(((((((triple12) -> rule4) triple11) -> rule6)) -> rule3))]