Bob is furry. Dave is green. Erin is rough. Fiona is nice. Green things are red. If something is young and nice then it is red. If something is red and furry then it is rough. All green, nice things are big. All big things are red. Nice, rough things are furry.
Bob is not furry.
@0: Bob is furry.[(triple1)] Dave is green.[(triple2)] Erin is rough.[(triple3)] Fiona is nice.[(triple4)] @1: Dave is red.[(((triple2) -> rule1))]