The cat visits the tiger. The cow eats the cat. The cow does not eat the tiger. The cow is green. The cow likes the tiger. The cow does not visit the rabbit. The rabbit eats the cow. The rabbit eats the tiger. The rabbit is blue. The rabbit likes the cat. The tiger eats the cat. The tiger eats the cow. The tiger eats the rabbit. The tiger is big. The tiger likes the cow. The tiger visits the cat. If someone likes the tiger then the tiger does not like the cat. If someone eats the cow and they are green then the cow is not blue. If someone likes the rabbit and they do not eat the cow then the rabbit is big. If someone visits the cow then they are green. If someone likes the cow then the cow does not like the rabbit. If someone eats the tiger then the tiger visits the cow. If the cat is not green then the cat visits the rabbit. If the cat is big then the cat visits the rabbit.
The cat is green.
@0: The cat visits the tiger.[(triple1)] The cow does not eat the tiger.[(triple3)] The cow does not visit the rabbit.[(triple6)] The cow eats the cat.[(triple2)] The cow is green.[(triple4)] The cow likes the tiger.[(triple5)] The rabbit eats the cow.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is blue.[(triple9)] The rabbit likes the cat.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is big.[(triple14)] The tiger likes the cow.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cow does not like the rabbit.[(((triple15) -> rule5))] The tiger does not like the cat.[(((triple5) -> rule1))] The tiger visits the cow.[(((triple8) -> rule6))] @2: The tiger is green.[(((((triple8) -> rule6)) -> rule4))] @3: The cow is not blue.[(((triple12 ((((triple8) -> rule6)) -> rule4)) -> rule2))]