Dave is green. Dave is red. Dave is rough. If someone is green and young then they are round. Green, nice people are rough. If Dave is rough then Dave is green. If Dave is red and Dave is round then Dave is not furry. All rough, green people are furry. Nice, round people are green.
Dave is not green.
@0: Dave is green.[(triple1 OR ((triple3) -> rule3))] Dave is red.[(triple2)] Dave is rough.[(triple3)] @1: Dave is furry.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5))]