Bob is not big. Bob is blue. Bob is not furry. Bob is round. Bob is smart. Bob is white. Bob is young. Round things are not big. Smart things are round. If Bob is smart then Bob is white.
Bob is smart.
@0: Bob is blue.[(triple2)] Bob is not big.[(triple1 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Bob is not furry.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule2))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule3))] Bob is young.[(triple7)]