Dave is rough. Fiona is not rough. Gary is nice. Nice people are green. If someone is green then they are furry. If someone is furry then they are white. If Dave is green and Dave is round then Dave is rough. If someone is round and not white then they are rough. Nice, green people are rough.
Dave is furry.
@0: Dave is rough.[(triple1)] Fiona is not rough.[(triple2)] Gary is nice.[(triple3)] @1: Gary is green.[(((triple3) -> rule1))] @2: Gary is furry.[(((((triple3) -> rule1)) -> rule2))] Gary is rough.[(((triple3 ((triple3) -> rule1)) -> rule6))] @3: Gary is white.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]