Bob is big. Bob is nice. Bob is rough. Bob is white. Harry is nice. Harry is smart. Harry is white. If Harry is rough and Harry is big then Harry is white. Big, nice people are white. All nice, white people are smart.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4 OR ((triple1 triple2) -> rule2))] Harry is nice.[(triple5)] Harry is smart.[(triple6 OR ((triple5 triple7) -> rule3))] Harry is white.[(triple7)] @1: Bob is smart.[(((triple2 triple4) -> rule3) OR ((triple2 ((triple1 triple2) -> rule2)) -> rule3))]