Anne is big. Anne is blue. Anne is not red. Anne is young. Erin is big. Erin is red. Erin is round. Gary is big. Gary is blue. Gary is not cold. Gary is quiet. Gary is round. Gary is young. Harry is big. Harry is quiet. Harry is red. All cold things are young. If something is big then it is quiet. If something is round and red then it is cold.
Harry is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not red.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is not cold.[(triple10)] Gary is quiet.[(triple11 OR ((triple8) -> rule2))] Gary is round.[(triple12)] Gary is young.[(triple13)] Harry is big.[(triple14)] Harry is quiet.[(triple15 OR ((triple14) -> rule2))] Harry is red.[(triple16)] @1: Anne is quiet.[(((triple1) -> rule2))] Erin is cold.[(((triple7 triple6) -> rule3))] Erin is quiet.[(((triple5) -> rule2))] @2: Erin is young.[(((((triple7 triple6) -> rule3)) -> rule1))]