Bob is blue. Bob is green. Bob is red. Bob is round. Bob is smart. Bob is white. Harry is red. If Harry is white then Harry is round. If Bob is white and Bob is red then Bob is smart. If something is green and round then it is red. If something is red then it is big. All big things are smart. If Bob is big then Bob is round. All big, red things are white. All red things are big.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3 OR ((triple2 triple4) -> rule3))] Bob is round.[(triple4 OR ((((triple3) -> rule4)) -> rule6) OR ((((triple3) -> rule8)) -> rule6))] Bob is smart.[(triple5 OR ((triple6 triple3) -> rule2) OR ((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule8)) -> rule5) OR ((triple6 ((triple2 triple4) -> rule3)) -> rule2) OR ((((((triple2 triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((triple2 triple4) -> rule3)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule7) triple3) -> rule2) OR ((((((triple3) -> rule8) triple3) -> rule7) triple3) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule4) ((triple2 triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((triple3) -> rule8) triple3) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule8) ((triple2 triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((triple3) -> rule4) ((triple2 triple4) -> rule3)) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule8) ((triple2 triple4) -> rule3)) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule4) triple3) -> rule7) triple3) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule8) triple3) -> rule7) triple3) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule4) triple3) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule4) ((triple2 triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule8) triple3) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule8) ((triple2 triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule4) ((triple2 triple4) -> rule3)) -> rule7) ((triple2 triple4) -> rule3)) -> rule2) OR ((((((((triple2 triple4) -> rule3)) -> rule8) ((triple2 triple4) -> rule3)) -> rule7) ((triple2 triple4) -> rule3)) -> rule2))] Bob is white.[(triple6 OR ((((triple3) -> rule4) triple3) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule7) OR ((((triple3) -> rule4) ((triple2 triple4) -> rule3)) -> rule7) OR ((((triple3) -> rule8) ((triple2 triple4) -> rule3)) -> rule7) OR ((((((triple2 triple4) -> rule3)) -> rule4) triple3) -> rule7) OR ((((((triple2 triple4) -> rule3)) -> rule8) triple3) -> rule7) OR ((((((triple2 triple4) -> rule3)) -> rule4) ((triple2 triple4) -> rule3)) -> rule7) OR ((((((triple2 triple4) -> rule3)) -> rule8) ((triple2 triple4) -> rule3)) -> rule7))] Harry is red.[(triple7)] @1: Bob is big.[(((triple3) -> rule4) OR ((triple3) -> rule8) OR ((((triple2 triple4) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule3)) -> rule8))] Harry is big.[(((triple7) -> rule4) OR ((triple7) -> rule8))] @2: Harry is smart.[(((((triple7) -> rule4)) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] Harry is white.[(((((triple7) -> rule4) triple7) -> rule7) OR ((((triple7) -> rule8) triple7) -> rule7))] @3: Harry is round.[(((((((triple7) -> rule4) triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule8) triple7) -> rule7)) -> rule1))]