The bear eats the dog. The bear visits the cow. The cat chases the bear. The cat eats the cow. The cat is big. The cow eats the cat. The cow is round. The dog eats the cat. The dog is green. The dog is nice. If something eats the cat then it chases the bear. If something chases the cat and the cat visits the dog then it is blue. If something is round then it eats the cow.
The cat is big.
@0: The bear eats the dog.[(triple1)] The bear visits the cow.[(triple2)] The cat chases the bear.[(triple3)] The cat eats the cow.[(triple4)] The cat is big.[(triple5)] The cow eats the cat.[(triple6)] The cow is round.[(triple7)] The dog eats the cat.[(triple8)] The dog is green.[(triple9)] The dog is nice.[(triple10)] @1: The cow chases the bear.[(((triple6) -> rule1))] The cow eats the cow.[(((triple7) -> rule3))] The dog chases the bear.[(((triple8) -> rule1))]