Erin is big. Gary is blue. Gary is cold. Gary is furry. Harry is blue. Harry is furry. Harry is smart. If someone is smart and blue then they are cold. If Gary is cold and Gary is round then Gary is white. If Gary is smart and Gary is cold then Gary is white. Blue people are smart. All smart people are white. All smart people are blue. If someone is furry then they are cold. If Harry is round and Harry is cold then Harry is big.
Gary is not furry.
@0: Erin is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3 OR ((triple4) -> rule7) OR ((((triple2) -> rule4) triple2) -> rule1))] Gary is furry.[(triple4)] Harry is blue.[(triple5 OR ((triple7) -> rule6))] Harry is furry.[(triple6)] Harry is smart.[(triple7 OR ((triple5) -> rule4))] @1: Gary is smart.[(((triple2) -> rule4))] Harry is cold.[(((triple6) -> rule7) OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple7) -> rule6)) -> rule1) OR ((((triple5) -> rule4) triple5) -> rule1) OR ((((triple5) -> rule4) ((triple7) -> rule6)) -> rule1))] Harry is white.[(((triple7) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] @2: Gary is white.[(((((triple2) -> rule4)) -> rule5) OR ((((triple2) -> rule4) triple3) -> rule3) OR ((((triple2) -> rule4) ((triple4) -> rule7)) -> rule3) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule1)) -> rule3))]