Bob is red. Bob is round. Bob is white. If Bob is smart and Bob is round then Bob is white. Round things are white. If Bob is red and Bob is smart then Bob is young. If something is blue then it is quiet. All smart, round things are blue. If Bob is white then Bob is smart.
Bob is not red.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3 OR ((triple2) -> rule2))] @1: Bob is smart.[(((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] @2: Bob is blue.[(((((triple3) -> rule6) triple2) -> rule5) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule5))] Bob is young.[(((triple1 ((triple3) -> rule6)) -> rule3) OR ((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule3))] @3: Bob is quiet.[(((((((triple3) -> rule6) triple2) -> rule5)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule6) triple2) -> rule5)) -> rule4))]