The cat eats the lion. The cow eats the mouse. The cow is big. The cow likes the mouse. The cow needs the mouse. The lion eats the cow. The lion is blue. The mouse eats the cat. The mouse eats the lion. The mouse needs the cat. If someone eats the cow then they are nice. If someone eats the lion and they eat the mouse then the mouse is round. If someone is round and they like the lion then the lion likes the mouse. If someone likes the cat and the cat eats the mouse then the cat is blue. If someone likes the mouse and the mouse likes the lion then they eat the mouse. If someone needs the cat then the cat likes the mouse. If the cow is rough and the cow is round then the cow is big. If someone is big and they need the mouse then the mouse likes the lion.
The lion likes the mouse.
@0: The cat eats the lion.[(triple1)] The cow eats the mouse.[(triple2 OR ((triple4 ((triple3 triple5) -> rule8)) -> rule5))] The cow is big.[(triple3)] The cow likes the mouse.[(triple4)] The cow needs the mouse.[(triple5)] The lion eats the cow.[(triple6)] The lion is blue.[(triple7)] The mouse eats the cat.[(triple8)] The mouse eats the lion.[(triple9)] The mouse needs the cat.[(triple10)] @1: The cat likes the mouse.[(((triple10) -> rule6))] The lion is nice.[(((triple6) -> rule1))] The mouse likes the lion.[(((triple3 triple5) -> rule8))] @2: The cat eats the mouse.[(((((triple10) -> rule6) ((triple3 triple5) -> rule8)) -> rule5))] @3: The mouse is round.[(((triple1 ((((triple10) -> rule6) ((triple3 triple5) -> rule8)) -> rule5)) -> rule2))] @4: The lion likes the mouse.[(((((triple1 ((((triple10) -> rule6) ((triple3 triple5) -> rule8)) -> rule5)) -> rule2) ((triple3 triple5) -> rule8)) -> rule3))] @5: The lion eats the mouse.[(((((((triple1 ((((triple10) -> rule6) ((triple3 triple5) -> rule8)) -> rule5)) -> rule2) ((triple3 triple5) -> rule8)) -> rule3) ((triple3 triple5) -> rule8)) -> rule5))]