The bear is cold. The bear is red. The bear does not see the dog. The bear sees the rabbit. The bear visits the rabbit. The dog is blue. The dog is not cold. The dog is round. The dog does not like the bear. The dog likes the rabbit. The rabbit is not blue. The rabbit is not green. The rabbit is round. The rabbit likes the bear. The rabbit does not like the dog. The rabbit sees the dog. If someone likes the rabbit and they see the rabbit then they do not like the dog. If the rabbit is cold and the rabbit is blue then the rabbit likes the dog. If the rabbit sees the dog then the dog visits the bear. If someone visits the bear then they are red. If someone sees the rabbit and the rabbit does not like the bear then the rabbit does not see the bear. If someone visits the dog and they visit the bear then they are not round. If someone sees the rabbit and they are blue then the rabbit is round. If the bear visits the rabbit then the rabbit sees the dog.
The dog visits the rabbit.
@0: The bear does not see the dog.[(triple3)] The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The dog does not like the bear.[(triple9)] The dog is blue.[(triple6)] The dog is not cold.[(triple7)] The dog is round.[(triple8)] The dog likes the rabbit.[(triple10)] The rabbit does not like the dog.[(triple15)] The rabbit is not blue.[(triple11)] The rabbit is not green.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit sees the dog.[(triple16 OR ((triple5) -> rule8))] @1: The dog visits the bear.[(((triple16) -> rule3) OR ((((triple5) -> rule8)) -> rule3))] @2: The dog is red.[(((((triple16) -> rule3)) -> rule4) OR ((((((triple5) -> rule8)) -> rule3)) -> rule4))]