The cow eats the lion. The cow is red. The lion visits the tiger. The mouse visits the cow. The tiger chases the lion. The tiger chases the mouse. The tiger eats the mouse. If something is kind and it visits the tiger then it eats the cow. If something eats the cow then the cow chases the lion. If something chases the tiger and it is big then it is kind. If something visits the cow and it chases the mouse then the cow is cold. If something chases the mouse then it visits the cow. If something visits the cow then the cow eats the lion. If something is young then it eats the tiger. If something visits the mouse then it visits the tiger.
The mouse does not visit the lion.
@0: The cow eats the lion.[(triple1 OR ((triple4) -> rule6) OR ((((triple6) -> rule5)) -> rule6))] The cow is red.[(triple2)] The lion visits the tiger.[(triple3)] The mouse visits the cow.[(triple4)] The tiger chases the lion.[(triple5)] The tiger chases the mouse.[(triple6)] The tiger eats the mouse.[(triple7)] @1: The tiger visits the cow.[(((triple6) -> rule5))] @2: The cow is cold.[(((((triple6) -> rule5) triple6) -> rule4))]