The cow is kind. The cow is young. The lion eats the mouse. The lion is not red. The lion needs the mouse. The lion sees the cow. The mouse is not big. The mouse is red. The mouse needs the cow. The mouse needs the lion. If someone is red then they eat the cow. If someone is young then they see the mouse. If someone eats the mouse and the mouse needs the lion then they need the cow. If the mouse is big then the mouse eats the lion. If someone needs the cow and the cow does not see the mouse then the mouse does not see the lion. If someone sees the mouse then the mouse sees the lion. If the mouse eats the lion and the mouse is young then the mouse does not eat the cow. If someone sees the lion then they eat the lion.
The cow sees the cow.
@0: The cow is kind.[(triple1)] The cow is young.[(triple2)] The lion eats the mouse.[(triple3)] The lion is not red.[(triple4)] The lion needs the mouse.[(triple5)] The lion sees the cow.[(triple6)] The mouse is not big.[(triple7)] The mouse is red.[(triple8)] The mouse needs the cow.[(triple9)] The mouse needs the lion.[(triple10)] @1: The cow sees the mouse.[(((triple2) -> rule2))] The lion needs the cow.[(((triple3 triple10) -> rule3))] The mouse eats the cow.[(((triple8) -> rule1))] @2: The mouse sees the lion.[(((((triple2) -> rule2)) -> rule6))] @3: The mouse eats the lion.[(((((((triple2) -> rule2)) -> rule6)) -> rule8))]