Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is smart. Erin is cold. Erin is nice. Erin is rough. Erin is smart. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is smart. Rough things are cold. If something is red then it is nice.
Harry is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple6) -> rule1))] Anne is furry.[(triple3)] Anne is nice.[(triple4 OR ((triple5) -> rule2))] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule1))] Erin is nice.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13 OR ((triple15) -> rule1))] Harry is furry.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)]