The bear is blue. The bear sees the dog. The bear sees the tiger. The cat eats the dog. The cat is cold. The cat is nice. The cat sees the bear. The cat visits the bear. The dog eats the cat. The dog is blue. The dog is nice. The dog is round. The dog sees the cat. The dog visits the bear. The dog visits the tiger. The tiger sees the dog. If something eats the tiger and the tiger visits the dog then it eats the bear. If something eats the bear and it visits the dog then it eats the cat. If something is blue then it sees the bear. If something visits the bear then it sees the bear. If something is round and it sees the cat then the cat eats the tiger. If something sees the tiger then the tiger sees the cat. If something visits the cat then the cat is blue. If the dog sees the cat and the cat eats the bear then the dog sees the tiger.
The cat does not see the bear.
@0: The bear is blue.[(triple1)] The bear sees the dog.[(triple2)] The bear sees the tiger.[(triple3)] The cat eats the dog.[(triple4)] The cat is cold.[(triple5)] The cat is nice.[(triple6)] The cat sees the bear.[(triple7 OR ((triple8) -> rule4))] The cat visits the bear.[(triple8)] The dog eats the cat.[(triple9)] The dog is blue.[(triple10)] The dog is nice.[(triple11)] The dog is round.[(triple12)] The dog sees the cat.[(triple13)] The dog visits the bear.[(triple14)] The dog visits the tiger.[(triple15)] The tiger sees the dog.[(triple16)] @1: The bear sees the bear.[(((triple1) -> rule3))] The cat eats the tiger.[(((triple12 triple13) -> rule5))] The dog sees the bear.[(((triple10) -> rule3) OR ((triple14) -> rule4))] The tiger sees the cat.[(((triple3) -> rule6))]