Bob is furry. Bob is kind. Bob is nice. Bob is red. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is smart. All green things are smart. Red, kind things are rough.
Dave is furry.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple8 triple6) -> rule2))] Dave is smart.[(triple10 OR ((triple5) -> rule1))] @1: Bob is rough.[(((triple4 triple2) -> rule2))]