The cat eats the rabbit. The dog is green. The rabbit does not visit the cat. The rabbit visits the dog. The tiger eats the cat. The tiger is red. The tiger visits the dog. If someone eats the cat then they see the tiger. If the tiger sees the cat and the cat sees the tiger then the tiger visits the cat. If someone eats the rabbit and they are round then the rabbit is not round. If someone eats the cat then the cat does not eat the dog. If the tiger visits the cat and the cat is cold then the cat does not see the dog. If someone is red then they visit the cat.
The dog is green.
@0: The cat eats the rabbit.[(triple1)] The dog is green.[(triple2)] The rabbit does not visit the cat.[(triple3)] The rabbit visits the dog.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is red.[(triple6)] The tiger visits the dog.[(triple7)] @1: The cat does not eat the dog.[(((triple5) -> rule4))] The tiger sees the tiger.[(((triple5) -> rule1))] The tiger visits the cat.[(((triple6) -> rule6))]