Anne is big. Anne is not blue. Anne is cold. Anne is not furry. Anne is not red. Anne is rough. Anne is smart. Harry is big. Harry is not blue. Harry is not cold. Harry is furry. Harry is not red. Harry is rough. Harry is not smart. Red people are furry. All smart, rough people are big.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple7 triple6) -> rule2))] Anne is cold.[(triple3)] Anne is not blue.[(triple2)] Anne is not furry.[(triple4)] Anne is not red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple11)] Harry is not blue.[(triple9)] Harry is not cold.[(triple10)] Harry is not red.[(triple12)] Harry is not smart.[(triple14)] Harry is rough.[(triple13)]