Bob is cold. Bob is furry. Bob is rough. Bob is round. Bob is smart. Bob is white. Bob is young. All white things are round. All furry things are young. Young, smart things are white.
Bob is not young.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple6) -> rule1) OR ((((triple7 triple5) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) triple5) -> rule3)) -> rule1))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple7 triple5) -> rule3) OR ((((triple2) -> rule2) triple5) -> rule3))] Bob is young.[(triple7 OR ((triple2) -> rule2))]