Bob is blue. Bob is white. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is white. Gary is quiet. Gary is round. Gary is smart. Harry is blue. Harry is furry. Harry is quiet. Harry is round. Harry is smart. Harry is white. All furry people are round. Quiet, cold people are furry. If someone is white and round then they are cold.
Gary is not cold.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4 OR ((triple7 ((triple5) -> rule1)) -> rule3))] Erin is furry.[(triple5 OR ((triple6 triple4) -> rule2))] Erin is quiet.[(triple6)] Erin is white.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple13 ((triple16 triple14) -> rule3)) -> rule2))] Harry is quiet.[(triple13)] Harry is round.[(triple14 OR ((triple12) -> rule1))] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Erin is round.[(((triple5) -> rule1) OR ((((triple6 triple4) -> rule2)) -> rule1))] Harry is cold.[(((triple16 triple14) -> rule3) OR ((triple16 ((triple12) -> rule1)) -> rule3))]