Erin is smart. Harry is not big. Harry is round. If Erin is red then Erin is smart. All green people are red. All cold people are green. Round, green people are not smart. If Harry is smart and Harry is big then Harry is rough. If Erin is green then Erin is big. All round people are rough. Round people are cold.
Harry is rough.
@0: Erin is smart.[(triple1)] Harry is not big.[(triple2)] Harry is round.[(triple3)] @1: Harry is cold.[(((triple3) -> rule8))] Harry is rough.[(((triple3) -> rule7))] @2: Harry is green.[(((((triple3) -> rule8)) -> rule3))] @3: Harry is not smart.[(((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule4))] Harry is red.[(((((((triple3) -> rule8)) -> rule3)) -> rule2))]