Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is rough. Anne is white. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is rough. Erin is big. Erin is furry. Erin is rough. Erin is white. Harry is nice. If Charlie is blue and Charlie is nice then Charlie is cold. Blue, nice things are cold.
Harry is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple2 triple4) -> rule2))] Anne is nice.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Charlie is rough.[(triple10)] Erin is big.[(triple11)] Erin is furry.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14)] Harry is nice.[(triple15)]