Bob is blue. Charlie is not red. Charlie is rough. Dave is not blue. Dave is furry. Dave is rough. Dave is young. If something is blue and not green then it is smart. Furry, green things are smart. If something is blue then it is smart. If something is rough and not red then it is young. If something is rough and not furry then it is young. All smart things are rough. If Bob is red and Bob is rough then Bob is young. If something is green then it is blue.
Bob is furry.
@0: Bob is blue.[(triple1)] Charlie is not red.[(triple2)] Charlie is rough.[(triple3)] Dave is furry.[(triple5)] Dave is not blue.[(triple4)] Dave is rough.[(triple6)] Dave is young.[(triple7)] @1: Bob is smart.[(((triple1) -> rule3))] Charlie is young.[(((triple3 triple2) -> rule4))] @2: Bob is rough.[(((((triple1) -> rule3)) -> rule6))]