Bob is blue. Bob is not cold. Bob is furry. Bob is rough. Bob is smart. Bob is white. Bob is young. Dave is blue. Dave is not cold. Dave is furry. Dave is rough. Dave is smart. Dave is white. Dave is young. All cold things are smart. Furry things are young. If something is white and not young then it is blue. If Dave is blue then Dave is smart. If Bob is blue then Bob is rough. If something is young then it is rough. If something is young and not white then it is rough. If something is smart and not white then it is rough.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple3)] Bob is not cold.[(triple2)] Bob is rough.[(triple4 OR ((triple1) -> rule5) OR ((triple7) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple3) -> rule2))] Dave is blue.[(triple8)] Dave is furry.[(triple10)] Dave is not cold.[(triple9)] Dave is rough.[(triple11 OR ((triple14) -> rule6) OR ((((triple10) -> rule2)) -> rule6))] Dave is smart.[(triple12 OR ((triple8) -> rule4))] Dave is white.[(triple13)] Dave is young.[(triple14 OR ((triple10) -> rule2))]