Anne is green. Erin is big. Erin is cold. Erin is nice. Gary is cold. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is quiet. If Erin is quiet and Erin is big then Erin is rough. If someone is rough then they are green. All big people are quiet.
Harry is not cold.
@0: Anne is green.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3)] Erin is nice.[(triple4)] Gary is cold.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10 OR ((triple6) -> rule3))] @1: Erin is quiet.[(((triple2) -> rule3))] @2: Erin is rough.[(((((triple2) -> rule3) triple2) -> rule1))] @3: Erin is green.[(((((((triple2) -> rule3) triple2) -> rule1)) -> rule2))]