Bob is furry. Charlie is furry. Charlie is red. Charlie is white. Gary is blue. Gary is cold. Gary is furry. Gary is white. Harry is blue. Harry is cold. Harry is smart. If Bob is blue and Bob is smart then Bob is cold. All white, blue things are quiet. If Gary is red then Gary is quiet. All smart things are red. All furry things are smart. If something is blue and cold then it is white. Quiet things are cold. If something is red then it is blue.
Bob is not cold.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((((triple2) -> rule5)) -> rule4))] Charlie is white.[(triple4)] Gary is blue.[(triple5 OR ((((((triple7) -> rule5)) -> rule4)) -> rule8))] Gary is cold.[(triple6 OR ((((triple8 triple5) -> rule2)) -> rule7) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule3)) -> rule7) OR ((((triple8 ((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule2)) -> rule7))] Gary is furry.[(triple7)] Gary is white.[(triple8 OR ((triple5 triple6) -> rule6) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule8) triple6) -> rule6) OR ((triple5 ((((((((triple7) -> rule5)) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule8) ((((((((triple7) -> rule5)) -> rule4)) -> rule3)) -> rule7)) -> rule6))] Harry is blue.[(triple9 OR ((((triple11) -> rule4)) -> rule8))] Harry is cold.[(triple10)] Harry is smart.[(triple11)] @1: Bob is smart.[(((triple1) -> rule5))] Charlie is blue.[(((triple3) -> rule8) OR ((((((triple2) -> rule5)) -> rule4)) -> rule8))] Charlie is smart.[(((triple2) -> rule5))] Gary is quiet.[(((triple8 triple5) -> rule2) OR ((((triple5 triple6) -> rule6) triple5) -> rule2) OR ((((((triple7) -> rule5)) -> rule4)) -> rule3) OR ((triple8 ((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule2) OR ((((triple5 triple6) -> rule6) ((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule2) OR ((((((((((triple7) -> rule5)) -> rule4)) -> rule8) triple6) -> rule6) triple5) -> rule2) OR ((((((((((triple7) -> rule5)) -> rule4)) -> rule8) triple6) -> rule6) ((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule2))] Gary is smart.[(((triple7) -> rule5))] Harry is red.[(((triple11) -> rule4))] Harry is white.[(((triple9 triple10) -> rule6) OR ((((((triple11) -> rule4)) -> rule8) triple10) -> rule6))] @2: Bob is red.[(((((triple1) -> rule5)) -> rule4))] Charlie is quiet.[(((triple4 ((triple3) -> rule8)) -> rule2) OR ((triple4 ((((((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule2))] Gary is red.[(((((triple7) -> rule5)) -> rule4))] Harry is quiet.[(((((triple9 triple10) -> rule6) triple9) -> rule2) OR ((((triple9 triple10) -> rule6) ((((triple11) -> rule4)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule4)) -> rule8) triple10) -> rule6) triple9) -> rule2) OR ((((((((triple11) -> rule4)) -> rule8) triple10) -> rule6) ((((triple11) -> rule4)) -> rule8)) -> rule2))] @3: Bob is blue.[(((((((triple1) -> rule5)) -> rule4)) -> rule8))] Charlie is cold.[(((((triple4 ((triple3) -> rule8)) -> rule2)) -> rule7) OR ((((triple4 ((((((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule2)) -> rule7))] @4: Bob is cold.[(((((((((triple1) -> rule5)) -> rule4)) -> rule8) ((triple1) -> rule5)) -> rule1))] @5: Bob is white.[(((((((((triple1) -> rule5)) -> rule4)) -> rule8) ((((((((triple1) -> rule5)) -> rule4)) -> rule8) ((triple1) -> rule5)) -> rule1)) -> rule6))] @6: Bob is quiet.[(((((((((((triple1) -> rule5)) -> rule4)) -> rule8) ((((((((triple1) -> rule5)) -> rule4)) -> rule8) ((triple1) -> rule5)) -> rule1)) -> rule6) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule2))]