Anne is big. Anne is not blue. Anne is green. Anne is nice. Anne is rough. Anne is smart. Dave is cold. Dave is green. Harry is big. Harry is cold. Harry is rough. Harry is smart. If Dave is big then Dave is not blue. If someone is cold and blue then they are rough. All big people are rough. If someone is blue then they are not nice. If Anne is green then Anne is cold. If Dave is blue and Dave is cold then Dave is big.
Dave is not big.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not blue.[(triple2)] Anne is rough.[(triple5 OR ((triple1) -> rule3))] Anne is smart.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is rough.[(triple11 OR ((triple9) -> rule3))] Harry is smart.[(triple12)] @1: Anne is cold.[(((triple3) -> rule5))]