Anne is smart. Dave is rough. Erin is smart. Harry is furry. Big people are smart. If someone is big and nice then they are smart. If Anne is furry then Anne is smart. If Dave is big and Dave is rough then Dave is nice. If someone is furry and nice then they are blue. Nice, rough people are furry. All rough people are white. Furry people are rough.
Erin is not smart.
@0: Anne is smart.[(triple1)] Dave is rough.[(triple2)] Erin is smart.[(triple3)] Harry is furry.[(triple4)] @1: Dave is white.[(((triple2) -> rule7))] Harry is rough.[(((triple4) -> rule8))] @2: Harry is white.[(((((triple4) -> rule8)) -> rule7))]