Bob is blue. Bob is green. Bob is nice. Bob is round. Bob is young. Dave is blue. Dave is green. Dave is nice. Dave is rough. Dave is white. If someone is rough then they are round. If someone is rough then they are green. Rough, round people are nice.
Bob is not rough.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7 OR ((triple9) -> rule2))] Dave is nice.[(triple8 OR ((triple9 ((triple9) -> rule1)) -> rule3))] Dave is rough.[(triple9)] Dave is white.[(triple10)] @1: Dave is round.[(((triple9) -> rule1))]