Bob is rough. Dave is furry. Dave is kind. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. If Fiona is young and Fiona is green then Fiona is kind. Furry things are young. Furry, kind things are blue. If something is young and rough then it is furry. Green things are red. If Dave is furry and Dave is blue then Dave is rough.
Dave is not red.
@0: Bob is rough.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is red.[(triple6 OR ((triple4) -> rule5))] Fiona is rough.[(triple7)] @1: Dave is blue.[(((triple2 triple3) -> rule3))] Dave is young.[(((triple2) -> rule2))] @2: Dave is rough.[(((triple2 ((triple2 triple3) -> rule3)) -> rule6))]