The cat eats the cow. The cat is green. The cat sees the cow. The cat visits the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is green. The cow is kind. The cow is rough. The cow sees the cat. The cow visits the rabbit. The rabbit eats the cow. The rabbit is green. The rabbit sees the cat. The rabbit visits the cat. The rabbit visits the cow. If the cat eats the cow and the cat sees the cow then the cat eats the rabbit. If the cat eats the cow and the cow sees the rabbit then the cow is red. If something visits the cat then it is red.
The cow is red.
@0: The cat eats the cow.[(triple1)] The cat is green.[(triple2)] The cat sees the cow.[(triple3)] The cat visits the rabbit.[(triple4)] The cow eats the cat.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is green.[(triple7)] The cow is kind.[(triple8)] The cow is rough.[(triple9)] The cow sees the cat.[(triple10)] The cow visits the rabbit.[(triple11)] The rabbit eats the cow.[(triple12)] The rabbit is green.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The cat eats the rabbit.[(((triple1 triple3) -> rule1))] The rabbit is red.[(((triple15) -> rule3))]