Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is round. Fiona is nice. Fiona is red. Fiona is white. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Gary is white. Harry is furry. Harry is nice. Red people are nice. If someone is round and red then they are white. If Gary is round and Gary is cold then Gary is quiet. If Harry is furry and Harry is round then Harry is cold. All nice people are round. If Gary is nice then Gary is white. If Fiona is white and Fiona is quiet then Fiona is nice. All quiet people are round.
Gary is not cold.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3 OR ((triple5) -> rule1))] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple3) -> rule5) OR ((triple4) -> rule8) OR ((((triple5) -> rule1)) -> rule5))] Fiona is nice.[(triple7 OR ((triple8) -> rule1))] Fiona is red.[(triple8)] Fiona is white.[(triple9 OR ((((triple7) -> rule5) triple8) -> rule2) OR ((((((triple8) -> rule1)) -> rule5) triple8) -> rule2))] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is quiet.[(triple12 OR ((triple13 triple10) -> rule3))] Gary is round.[(triple13 OR ((triple12) -> rule8))] Gary is white.[(triple14)] Harry is furry.[(triple15)] Harry is nice.[(triple16)] @1: Erin is white.[(((triple6 triple5) -> rule2) OR ((((triple3) -> rule5) triple5) -> rule2) OR ((((triple4) -> rule8) triple5) -> rule2) OR ((((((triple5) -> rule1)) -> rule5) triple5) -> rule2))] Fiona is round.[(((triple7) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] Harry is round.[(((triple16) -> rule5))] @2: Harry is cold.[(((triple15 ((triple16) -> rule5)) -> rule4))]