Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is green. Charlie is smart. Charlie is white. Red things are big. If Bob is red then Bob is white. Young, red things are white. All white things are green. If Bob is green then Bob is red. All smart things are green.
Bob is smart.
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3 OR ((((((triple2) -> rule6)) -> rule5)) -> rule2) OR ((triple4 ((((triple2) -> rule6)) -> rule5)) -> rule3))] Bob is young.[(triple4)] Charlie is green.[(triple5 OR ((triple6) -> rule6) OR ((triple7) -> rule4))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] @1: Bob is green.[(((triple2) -> rule6) OR ((triple3) -> rule4))] @2: Bob is red.[(((((triple2) -> rule6)) -> rule5) OR ((((triple3) -> rule4)) -> rule5))] @3: Bob is big.[(((((((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((triple3) -> rule4)) -> rule5)) -> rule1))]