The cow chases the mouse. The cow eats the lion. The cow is blue. The cow is cold. The cow is green. The cow sees the rabbit. The lion is young. The lion sees the rabbit. The mouse is cold. The mouse is green. The mouse sees the cow. The rabbit chases the cow. The rabbit chases the mouse. The rabbit eats the cow. The rabbit does not eat the lion. The rabbit sees the cow. If something chases the cow then it is young. If something chases the mouse and it is not big then it does not see the cow. If something chases the mouse then it sees the cow. If something eats the cow and it sees the cow then it sees the rabbit. If something eats the cow then it does not chase the lion. If something eats the cow and it does not see the mouse then it chases the lion. If something chases the mouse then the mouse is not young. If something chases the mouse then it does not see the lion.
The lion sees the rabbit.
@0: The cow chases the mouse.[(triple1)] The cow eats the lion.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow sees the rabbit.[(triple6)] The lion is young.[(triple7)] The lion sees the rabbit.[(triple8)] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse sees the cow.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit does not eat the lion.[(triple15)] The rabbit eats the cow.[(triple14)] The rabbit sees the cow.[(triple16 OR ((triple13) -> rule3))] @1: The cow does not see the lion.[(((triple1) -> rule8))] The cow sees the cow.[(((triple1) -> rule3))] The mouse is not young.[(((triple1) -> rule7) OR ((triple13) -> rule7))] The rabbit does not chase the lion.[(((triple14) -> rule5))] The rabbit does not see the lion.[(((triple13) -> rule8))] The rabbit is young.[(((triple12) -> rule1))] The rabbit sees the rabbit.[(((triple14 triple16) -> rule4) OR ((triple14 ((triple13) -> rule3)) -> rule4))]