Anne is quiet. Gary is cold. Harry is red. If someone is red then they are round. Cold people are red. Round people are young. All quiet, green people are cold. All red people are quiet. If someone is round and red then they are blue. If someone is green and quiet then they are blue. Young people are red.
Harry is quiet.
@0: Anne is quiet.[(triple1)] Gary is cold.[(triple2)] Harry is red.[(triple3)] @1: Gary is red.[(((triple2) -> rule2))] Harry is quiet.[(((triple3) -> rule5))] Harry is round.[(((triple3) -> rule1))] @2: Gary is quiet.[(((((triple2) -> rule2)) -> rule5))] Gary is round.[(((((triple2) -> rule2)) -> rule1))] Harry is blue.[(((((triple3) -> rule1) triple3) -> rule6))] Harry is young.[(((((triple3) -> rule1)) -> rule3))] @3: Gary is blue.[(((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule6))] Gary is young.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]