Anne is not big. Anne is blue. Anne is furry. Anne is not round. Bob is nice. Dave is big. Dave is blue. Dave is not cold. Dave is furry. Dave is nice. Dave is not rough. Dave is round. If Anne is round and Anne is not blue then Anne is not rough. If something is blue and nice then it is round. If something is rough then it is big.
Bob is cold.
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not round.[(triple4)] Bob is nice.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple9)] Dave is nice.[(triple10)] Dave is not cold.[(triple8)] Dave is not rough.[(triple11)] Dave is round.[(triple12 OR ((triple7 triple10) -> rule2))]