Anne is cold. Anne is quiet. Anne is rough. Anne is smart. Bob is cold. Bob is rough. Bob is smart. Gary is cold. Gary is furry. Gary is rough. If something is rough and quiet then it is furry. Rough things are blue. Cold things are quiet. White things are rough. Cold, quiet things are rough. If Bob is rough and Bob is furry then Bob is white.
Bob is white.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule3))] Anne is rough.[(triple3 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule3)) -> rule5))] Anne is smart.[(triple4)] Bob is cold.[(triple5)] Bob is rough.[(triple6 OR ((triple5 ((triple5) -> rule3)) -> rule5))] Bob is smart.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((triple10 ((triple8) -> rule3)) -> rule1) OR ((((triple8 ((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule1))] Gary is rough.[(triple10 OR ((triple8 ((triple8) -> rule3)) -> rule5))] @1: Anne is blue.[(((triple3) -> rule2) OR ((((triple1 triple2) -> rule5)) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))] Anne is furry.[(((triple3 triple2) -> rule1) OR ((triple3 ((triple1) -> rule3)) -> rule1) OR ((((triple1 triple2) -> rule5) triple2) -> rule1) OR ((((triple1 triple2) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule5) triple2) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1))] Bob is blue.[(((triple6) -> rule2) OR ((((triple5 ((triple5) -> rule3)) -> rule5)) -> rule2))] Bob is quiet.[(((triple5) -> rule3))] Gary is blue.[(((triple10) -> rule2) OR ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2))] Gary is quiet.[(((triple8) -> rule3))] @2: Bob is furry.[(((triple6 ((triple5) -> rule3)) -> rule1) OR ((((triple5 ((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule1))] @3: Bob is white.[(((triple6 ((triple6 ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule5) ((triple6 ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((triple6 ((((triple5 ((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule5) ((((triple5 ((triple5) -> rule3)) -> rule5) ((triple5) -> rule3)) -> rule1)) -> rule6))]