Erin is nice. Harry is red. If Harry is smart then Harry is nice. Red things are smart. If Erin is green and Erin is smart then Erin is nice. If something is rough then it is white. If Harry is blue then Harry is rough. All rough things are white. If something is red and white then it is rough. If Erin is nice then Erin is red.
Erin is green.
@0: Erin is nice.[(triple1)] Harry is red.[(triple2)] @1: Erin is red.[(((triple1) -> rule8))] Harry is smart.[(((triple2) -> rule2))] @2: Erin is smart.[(((((triple1) -> rule8)) -> rule2))] Harry is nice.[(((((triple2) -> rule2)) -> rule1))]