The cow eats the lion. The cow eats the mouse. The cow likes the lion. The cow does not visit the mouse. The cow visits the rabbit. The lion is not rough. The lion visits the mouse. The mouse eats the rabbit. The mouse visits the lion. The rabbit eats the lion. Kind things are big. If something is round then it eats the lion. If something eats the mouse and the mouse visits the lion then it is round. If the cow likes the lion and the cow visits the lion then the cow visits the rabbit. If the lion likes the cow then the lion does not eat the rabbit. If the mouse eats the lion then the mouse does not eat the cow. If something likes the lion then the lion eats the mouse. If something visits the cow and it likes the lion then the lion does not eat the mouse. If something eats the lion then it likes the cow.
The cow is kind.
@0: The cow does not visit the mouse.[(triple4)] The cow eats the lion.[(triple1 OR ((((triple2 triple9) -> rule3)) -> rule2))] The cow eats the mouse.[(triple2)] The cow likes the lion.[(triple3)] The cow visits the rabbit.[(triple5)] The lion is not rough.[(triple6)] The lion visits the mouse.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse visits the lion.[(triple9)] The rabbit eats the lion.[(triple10)] @1: The cow is round.[(((triple2 triple9) -> rule3))] The cow likes the cow.[(((triple1) -> rule9) OR ((((((triple2 triple9) -> rule3)) -> rule2)) -> rule9))] The lion eats the mouse.[(((triple3) -> rule7))] The rabbit likes the cow.[(((triple10) -> rule9))] @2: The lion is round.[(((((triple3) -> rule7) triple9) -> rule3))] @3: The lion eats the lion.[(((((((triple3) -> rule7) triple9) -> rule3)) -> rule2))] @4: The lion likes the cow.[(((((((((triple3) -> rule7) triple9) -> rule3)) -> rule2)) -> rule9))] @5: The lion does not eat the rabbit.[(((((((((((triple3) -> rule7) triple9) -> rule3)) -> rule2)) -> rule9)) -> rule5))]