Bob is green. Bob is smart. Bob is young. If something is nice and not white then it is smart. Furry things are smart. All nice, white things are not smart. If Bob is nice then Bob is not furry. Smart things are nice. If Bob is round then Bob is smart. All green things are young. Green things are not round.
Bob is not round.
@0: Bob is green.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3 OR ((triple1) -> rule7))] @1: Bob is nice.[(((triple2) -> rule5))] Bob is not round.[(((triple1) -> rule8))] @2: Bob is not furry.[(((((triple2) -> rule5)) -> rule4))]