Bob is furry. Bob is green. Bob is not nice. Bob is young. Dave is nice. Dave is rough. Dave is young. Harry is furry. Harry is not green. Harry is rough. If Bob is rough then Bob is green. All green things are red. If something is furry and not young then it is not rough.
Bob is nice.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is not nice.[(triple3)] Bob is young.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Harry is furry.[(triple8)] Harry is not green.[(triple9)] Harry is rough.[(triple10)] @1: Bob is red.[(((triple2) -> rule2))]