The cow eats the rabbit. The cow is nice. The cow sees the tiger. The rabbit is rough. The tiger chases the cow. The tiger eats the rabbit. The tiger is kind. If something eats the rabbit and the rabbit is cold then it is nice. If something sees the cow then it eats the cow. If something is cold then it sees the cow. If something chases the cow then the cow eats the tiger. If the rabbit eats the tiger then the rabbit sees the cow. If something eats the rabbit then the rabbit eats the cow.
The tiger sees the cow.
@0: The cow eats the rabbit.[(triple1)] The cow is nice.[(triple2)] The cow sees the tiger.[(triple3)] The rabbit is rough.[(triple4)] The tiger chases the cow.[(triple5)] The tiger eats the rabbit.[(triple6)] The tiger is kind.[(triple7)] @1: The cow eats the tiger.[(((triple5) -> rule4))] The rabbit eats the cow.[(((triple1) -> rule6) OR ((triple6) -> rule6))]