The cat is young. The cat likes the dog. The cat likes the mouse. The cat likes the rabbit. The cat visits the dog. The dog eats the cat. The dog eats the rabbit. The dog is red. The dog is young. The dog likes the rabbit. The mouse eats the dog. The mouse eats the rabbit. The mouse is big. The mouse is young. The mouse likes the cat. The rabbit likes the cat. If someone eats the dog and they are big then the dog is big. If the cat eats the mouse then the mouse eats the cat. If the cat is red then the cat visits the dog. If the dog visits the cat and the dog is rough then the cat is big. If the rabbit visits the dog and the rabbit eats the cat then the dog visits the cat. If someone is cold and they eat the mouse then they visit the rabbit.
The cat is not big.
@0: The cat is young.[(triple1)] The cat likes the dog.[(triple2)] The cat likes the mouse.[(triple3)] The cat likes the rabbit.[(triple4)] The cat visits the dog.[(triple5)] The dog eats the cat.[(triple6)] The dog eats the rabbit.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog likes the rabbit.[(triple10)] The mouse eats the dog.[(triple11)] The mouse eats the rabbit.[(triple12)] The mouse is big.[(triple13)] The mouse is young.[(triple14)] The mouse likes the cat.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The dog is big.[(((triple11 triple13) -> rule1))]