Bob is cold. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is white. Harry is green. Harry is nice. Harry is round. Harry is white. Round things are nice. All round things are nice. All smart, furry things are white. All white, nice things are furry. If something is round and furry then it is smart. If Harry is nice and Harry is green then Harry is cold.
Gary is white.
@0: Bob is cold.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple5) -> rule1)) -> rule4) OR ((triple6 ((triple5) -> rule2)) -> rule4))] Gary is nice.[(triple4 OR ((triple5) -> rule1) OR ((triple5) -> rule2))] Gary is round.[(triple5)] Gary is white.[(triple6 OR ((((triple5 triple3) -> rule5) triple3) -> rule3))] Harry is green.[(triple7)] Harry is nice.[(triple8 OR ((triple9) -> rule1) OR ((triple9) -> rule2))] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Gary is smart.[(((triple5 triple3) -> rule5) OR ((triple5 ((triple6 triple4) -> rule4)) -> rule5) OR ((triple5 ((triple6 ((triple5) -> rule1)) -> rule4)) -> rule5) OR ((triple5 ((triple6 ((triple5) -> rule2)) -> rule4)) -> rule5))] Harry is cold.[(((triple8 triple7) -> rule6) OR ((((triple9) -> rule1) triple7) -> rule6) OR ((((triple9) -> rule2) triple7) -> rule6))] Harry is furry.[(((triple10 triple8) -> rule4) OR ((triple10 ((triple9) -> rule1)) -> rule4) OR ((triple10 ((triple9) -> rule2)) -> rule4))] @2: Harry is smart.[(((triple9 ((triple10 triple8) -> rule4)) -> rule5) OR ((triple9 ((triple10 ((triple9) -> rule1)) -> rule4)) -> rule5) OR ((triple9 ((triple10 ((triple9) -> rule2)) -> rule4)) -> rule5))]