Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is not round. Erin is white. Harry is blue. Harry is nice. Harry is red. Harry is rough. Harry is not round. Harry is white. Red things are not round. If Harry is not cold then Harry is red. If something is blue and not red then it is not rough.
Erin is cold.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is not round.[(triple5 OR ((triple3) -> rule1))] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple6)] Harry is blue.[(triple7)] Harry is nice.[(triple8)] Harry is not round.[(triple11 OR ((triple9) -> rule1))] Harry is red.[(triple9)] Harry is rough.[(triple10)] Harry is white.[(triple12)]