Dave is red. Erin is furry. Erin is red. Erin is rough. Fiona is green. Fiona is nice. Fiona is smart. Green, rough things are furry. All nice, smart things are rough. If something is green then it is red.
Fiona is not furry.
@0: Dave is red.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is red.[(((triple5) -> rule3))] Fiona is rough.[(((triple6 triple7) -> rule2))] @2: Fiona is furry.[(((triple5 ((triple6 triple7) -> rule2)) -> rule1))]