Erin is big. Erin is cold. Erin is quiet. Erin is rough. Harry is big. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Red things are nice. If Erin is rough then Erin is red. Big things are green.
Harry is rough.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Harry is big.[(triple5)] Harry is green.[(triple6 OR ((triple5) -> rule3))] Harry is nice.[(triple7 OR ((triple9) -> rule1))] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Erin is green.[(((triple1) -> rule3))] Erin is red.[(((triple4) -> rule2))] @2: Erin is nice.[(((((triple4) -> rule2)) -> rule1))]