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