Erin is big. Erin is blue. Erin is cold. Harry is blue. Harry is furry. Harry is green. Harry is nice. If Harry is nice then Harry is furry.
Erin is green.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Harry is blue.[(triple4)] Harry is furry.[(triple5 OR ((triple7) -> rule1))] Harry is green.[(triple6)] Harry is nice.[(triple7)]