Bob is big. Bob is cold. Bob is not red. Bob is rough. Bob is not smart. Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is rough. Dave is smart. All cold things are nice. If something is red and rough then it is big.
Dave is furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is not red.[(triple3)] Bob is not smart.[(triple5)] Bob is rough.[(triple4)] Dave is big.[(triple6 OR ((triple10 triple11) -> rule2))] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is nice.[(triple9 OR ((triple7) -> rule1))] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is smart.[(triple12)] @1: Bob is nice.[(((triple2) -> rule1))]