The bear is cold. The bear is rough. The bear is young. The bear visits the cat. The bear does not visit the dog. The cat is round. The cat does not visit the bear. The dog does not eat the cat. The dog visits the bear. The dog visits the cat. If something is rough then it sees the dog. If something eats the cat and the cat sees the bear then it eats the dog. If something eats the dog then the dog sees the cat. If something is rough then it visits the bear. If the cat visits the bear and the cat does not eat the dog then the dog eats the bear. If the bear is rough and the bear sees the cat then the bear does not see the dog. If something visits the bear and it does not see the bear then the bear sees the dog. If something eats the bear then the bear sees the cat.
The cat is young.
@0: The bear does not visit the dog.[(triple5)] The bear is cold.[(triple1)] The bear is rough.[(triple2)] The bear is young.[(triple3)] The bear visits the cat.[(triple4)] The cat does not visit the bear.[(triple7)] The cat is round.[(triple6)] The dog does not eat the cat.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the cat.[(triple10)] @1: The bear sees the dog.[(((triple2) -> rule1))] The bear visits the bear.[(((triple2) -> rule4))]