The cat sees the dog. The cat does not see the rabbit. The dog eats the cat. The dog is big. The dog is cold. The dog is green. The dog sees the cat. The dog does not see the rabbit. The dog visits the cat. The rabbit eats the cat. The rabbit eats the dog. The rabbit is cold. The rabbit is green. The rabbit is young. The rabbit sees the dog. If someone eats the dog and the dog is young then they visit the dog. If someone is kind and they see the dog then the dog visits the rabbit. If the dog is big and the dog visits the cat then the dog visits the rabbit. If the rabbit eats the dog and the dog is not cold then the dog eats the cat. If someone eats the rabbit and they see the cat then they are young. If someone is big and they see the cat then they eat the rabbit.
The dog does not visit the rabbit.
@0: The cat does not see the rabbit.[(triple2)] The cat sees the dog.[(triple1)] The dog does not see the rabbit.[(triple8)] The dog eats the cat.[(triple3)] The dog is big.[(triple4)] The dog is cold.[(triple5)] The dog is green.[(triple6)] The dog sees the cat.[(triple7)] The dog visits the cat.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The dog eats the rabbit.[(((triple4 triple7) -> rule6))] The dog visits the rabbit.[(((triple4 triple9) -> rule3))] @2: The dog is young.[(((((triple4 triple7) -> rule6) triple7) -> rule5))] @3: The rabbit visits the dog.[(((triple11 ((((triple4 triple7) -> rule6) triple7) -> rule5)) -> rule1))]