The bear is kind. The bear sees the dog. The cow chases the dog. The cow chases the rabbit. The cow is cold. The cow does not see the dog. The cow sees the rabbit. The cow visits the rabbit. The dog chases the cow. The dog is not cold. The dog is not green. The dog is rough. The dog sees the rabbit. The dog visits the cow. The dog visits the rabbit. The rabbit is big. If something chases the dog and it chases the bear then the dog is green. If something visits the rabbit and it visits the bear then the rabbit chases the dog. If something chases the dog and it is cold then the dog visits the rabbit. If something chases the dog and the dog is not green then it is kind. If something visits the rabbit and it is kind then the rabbit is kind. If something is big and kind then it does not see the bear.
The rabbit is not kind.
@0: The bear is kind.[(triple1)] The bear sees the dog.[(triple2)] The cow chases the dog.[(triple3)] The cow chases the rabbit.[(triple4)] The cow does not see the dog.[(triple6)] The cow is cold.[(triple5)] The cow sees the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The dog chases the cow.[(triple9)] The dog is not cold.[(triple10)] The dog is not green.[(triple11)] The dog is rough.[(triple12)] The dog sees the rabbit.[(triple13)] The dog visits the cow.[(triple14)] The dog visits the rabbit.[(triple15 OR ((triple3 triple5) -> rule3))] The rabbit is big.[(triple16)] @1: The cow is kind.[(((triple3 triple11) -> rule4))] @2: The rabbit is kind.[(((triple8 ((triple3 triple11) -> rule4)) -> rule5))] @3: The rabbit does not see the bear.[(((triple16 ((triple8 ((triple3 triple11) -> rule4)) -> rule5)) -> rule6))]