Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is round. Anne is smart. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is smart. If Anne is cold and Anne is rough then Anne is smart.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple2 triple5) -> rule1))] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is rough.[(triple12)] Dave is round.[(triple13)] Dave is smart.[(triple14)]