The cat does not eat the cow. The cat eats the rabbit. The cat is rough. The cat sees the cow. The cat sees the rabbit. The cat sees the tiger. The cow sees the cat. The cow sees the tiger. The cow visits the cat. The rabbit eats the cow. The rabbit is big. The rabbit sees the tiger. The rabbit visits the cow. The rabbit visits the tiger. The tiger eats the rabbit. If the cat eats the rabbit then the rabbit is green. If the tiger visits the cat and the cat is cold then the tiger sees the rabbit. If the cat is green then the cat visits the tiger. If something eats the cat then it is rough. If something sees the tiger then it visits the rabbit. If something visits the cat then it eats the rabbit. If something eats the rabbit then the rabbit is cold. If something visits the rabbit and the rabbit eats the cow then the rabbit eats the tiger.
The tiger eats the cat.
@0: The cat does not eat the cow.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is rough.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the rabbit.[(triple5)] The cat sees the tiger.[(triple6)] The cow sees the cat.[(triple7)] The cow sees the tiger.[(triple8)] The cow visits the cat.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit is big.[(triple11)] The rabbit sees the tiger.[(triple12)] The rabbit visits the cow.[(triple13)] The rabbit visits the tiger.[(triple14)] The tiger eats the rabbit.[(triple15)] @1: The cat visits the rabbit.[(((triple6) -> rule5))] The cow eats the rabbit.[(((triple9) -> rule6))] The cow visits the rabbit.[(((triple8) -> rule5))] The rabbit is cold.[(((triple15) -> rule7) OR ((triple2) -> rule7) OR ((((triple9) -> rule6)) -> rule7))] The rabbit is green.[(((triple2) -> rule1))] The rabbit visits the rabbit.[(((triple12) -> rule5))] @2: The rabbit eats the tiger.[(((((triple12) -> rule5) triple10) -> rule8) OR ((((triple6) -> rule5) triple10) -> rule8) OR ((((triple8) -> rule5) triple10) -> rule8))]