The bear chases the cat. The bear chases the cow. The bear eats the cow. The bear is rough. The bear does not visit the cat. The bear visits the cow. The cat chases the bear. The cat eats the bear. The cat does not eat the cow. The cat is big. The cat visits the bear. The cow chases the cat. The cow eats the bear. The cow eats the cat. The cow visits the cat. If something is round then it does not eat the bear. If something chases the cat and the cat eats the bear then it eats the cow. If something visits the cow and the cow chases the cat then the cow does not visit the bear. If the cat chases the cow then the cat is cold. If the cow does not visit the bear then the cow is not big. If something chases the cow and the cow is not big then it is nice.
The cow chases the cow.
@0: The bear chases the cat.[(triple1)] The bear chases the cow.[(triple2)] The bear does not visit the cat.[(triple5)] The bear eats the cow.[(triple3 OR ((triple1 triple8) -> rule2))] The bear is rough.[(triple4)] The bear visits the cow.[(triple6)] The cat chases the bear.[(triple7)] The cat does not eat the cow.[(triple9)] The cat eats the bear.[(triple8)] The cat is big.[(triple10)] The cat visits the bear.[(triple11)] The cow chases the cat.[(triple12)] The cow eats the bear.[(triple13)] The cow eats the cat.[(triple14)] The cow visits the cat.[(triple15)] @1: The cow does not visit the bear.[(((triple6 triple12) -> rule3))] The cow eats the cow.[(((triple12 triple8) -> rule2))] @2: The cow is not big.[(((((triple6 triple12) -> rule3)) -> rule5))] @3: The bear is nice.[(((triple2 ((((triple6 triple12) -> rule3)) -> rule5)) -> rule6))]