The cat eats the dog. The cat is not blue. The cat likes the dog. The cat visits the dog. The dog does not eat the cat. The dog is round. The dog does not like the cat. If something is green and it does not like the dog then the dog eats the cat. If something likes the cat then it is not green. If something is rough and it likes the dog then it visits the dog. If something visits the dog and the dog is round then it is big. If the cat does not visit the dog then the dog visits the cat. If something eats the dog and it does not eat the cat then it is round.
The cat is green.
@0: The cat eats the dog.[(triple1)] The cat is not blue.[(triple2)] The cat likes the dog.[(triple3)] The cat visits the dog.[(triple4)] The dog does not eat the cat.[(triple5)] The dog does not like the cat.[(triple7)] The dog is round.[(triple6)] @1: The cat is big.[(((triple4 triple6) -> rule4))]