Bob is white. All big things are smart. All round things are white. All green, white things are nice. If something is big and nice then it is smart. Green, white things are smart. All big, white things are smart. All white, smart things are green. If Bob is white then Bob is green.
Bob is round.
@0: Bob is white.[(triple1)] @1: Bob is green.[(((triple1) -> rule8))] @2: Bob is nice.[(((((triple1) -> rule8) triple1) -> rule3))] Bob is smart.[(((((triple1) -> rule8) triple1) -> rule5))]