Bob is smart. Bob is white. Gary is not furry. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. White, blue things are smart. Blue things are nice. If something is furry and quiet then it is blue. All quiet, smart things are blue. All white things are rough. If Bob is smart and Bob is nice then Bob is white. All rough things are quiet. If Bob is rough and Bob is white then Bob is blue.
Gary is not white.
@0: Bob is smart.[(triple1 OR ((triple2 ((((triple2) -> rule5) triple2) -> rule8)) -> rule1))] Bob is white.[(triple2)] Gary is nice.[(triple4 OR ((((triple5 triple7) -> rule4)) -> rule2) OR ((((((triple6) -> rule7) triple7) -> rule4)) -> rule2))] Gary is not furry.[(triple3)] Gary is quiet.[(triple5 OR ((triple6) -> rule7))] Gary is rough.[(triple6)] Gary is smart.[(triple7)] @1: Bob is rough.[(((triple2) -> rule5))] Gary is blue.[(((triple5 triple7) -> rule4) OR ((((triple6) -> rule7) triple7) -> rule4))] @2: Bob is blue.[(((((triple2) -> rule5) triple2) -> rule8) OR ((((((triple2) -> rule5)) -> rule7) triple1) -> rule4))] Bob is quiet.[(((((triple2) -> rule5)) -> rule7))] @3: Bob is nice.[(((((((triple2) -> rule5) triple2) -> rule8)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7) triple1) -> rule4)) -> rule2))]