The bear eats the cow. The bear is cold. The bear is kind. The bear visits the dog. The cat eats the cow. The cat is big. The cat sees the cow. The cat sees the dog. The cat visits the bear. The cow eats the cat. The cow is big. The cow is cold. The cow sees the bear. The cow visits the cat. The dog is round. The dog visits the cat. If the cat visits the bear then the cat is round. If the cat visits the cow then the cow sees the cat. If the cow visits the cat and the cow sees the cat then the cat is round. If the cat visits the cow then the cat is round. If someone is nice then they visit the dog. If someone is round then they visit the cow. If someone eats the dog and they see the cat then the dog eats the cat. If someone sees the cat and the cat visits the cow then the cat sees the dog.
The dog sees the cat.
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear visits the dog.[(triple4)] The cat eats the cow.[(triple5)] The cat is big.[(triple6)] The cat sees the cow.[(triple7)] The cat sees the dog.[(triple8 OR ((((((((triple9) -> rule1)) -> rule6)) -> rule2) ((((triple9) -> rule1)) -> rule6)) -> rule8))] The cat visits the bear.[(triple9)] The cow eats the cat.[(triple10)] The cow is big.[(triple11)] The cow is cold.[(triple12)] The cow sees the bear.[(triple13)] The cow visits the cat.[(triple14)] The dog is round.[(triple15)] The dog visits the cat.[(triple16)] @1: The cat is round.[(((triple9) -> rule1))] The dog visits the cow.[(((triple15) -> rule6))] @2: The cat visits the cow.[(((((triple9) -> rule1)) -> rule6))] @3: The cow sees the cat.[(((((((triple9) -> rule1)) -> rule6)) -> rule2))]