Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Bob is young. All furry, young things are rough. If Bob is young then Bob is quiet. If Bob is smart and Bob is furry then Bob is quiet. Rough things are young. If Bob is smart then Bob is young. If Bob is white then Bob is smart.
Bob is not nice.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple7) -> rule2) OR ((triple5 triple1) -> rule3) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple5) -> rule5)) -> rule2) OR ((((triple6) -> rule6) triple1) -> rule3) OR ((((((triple6) -> rule6)) -> rule5)) -> rule2))] Bob is rough.[(triple4 OR ((triple1 triple7) -> rule1) OR ((triple1 ((triple5) -> rule5)) -> rule1) OR ((triple1 ((((triple6) -> rule6)) -> rule5)) -> rule1))] Bob is smart.[(triple5 OR ((triple6) -> rule6))] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple4) -> rule4) OR ((triple5) -> rule5) OR ((((triple6) -> rule6)) -> rule5))]