The cat eats the lion. The cat visits the mouse. The cow is green. The cow is nice. The cow likes the lion. The lion is big. The mouse likes the lion. If someone is round then they eat the cow. If someone is nice then they are green. If someone likes the lion then they eat the cow.
The cat likes the mouse.
@0: The cat eats the lion.[(triple1)] The cat visits the mouse.[(triple2)] The cow is green.[(triple3 OR ((triple4) -> rule2))] The cow is nice.[(triple4)] The cow likes the lion.[(triple5)] The lion is big.[(triple6)] The mouse likes the lion.[(triple7)] @1: The cow eats the cow.[(((triple5) -> rule3))] The mouse eats the cow.[(((triple7) -> rule3))]