The cow likes the mouse. The cow sees the rabbit. The mouse chases the cow. The mouse is big. The mouse sees the rabbit. The mouse sees the tiger. The rabbit is big. The rabbit likes the cow. The tiger likes the mouse. The tiger sees the rabbit. If someone chases the mouse then they like the rabbit. If the cow sees the rabbit then the cow sees the mouse. If someone is big then they chase the mouse. If someone likes the cow then they see the cow. If someone chases the mouse then the mouse likes the cow. If someone sees the cow and they see the mouse then the cow likes the mouse.
The cow sees the cow.
@0: The cow likes the mouse.[(triple1)] The cow sees the rabbit.[(triple2)] The mouse chases the cow.[(triple3)] The mouse is big.[(triple4)] The mouse sees the rabbit.[(triple5)] The mouse sees the tiger.[(triple6)] The rabbit is big.[(triple7)] The rabbit likes the cow.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The cow sees the mouse.[(((triple2) -> rule2))] The mouse chases the mouse.[(((triple4) -> rule3))] The rabbit chases the mouse.[(((triple7) -> rule3))] The rabbit sees the cow.[(((triple8) -> rule4))] @2: The mouse likes the cow.[(((((triple4) -> rule3)) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] The mouse likes the rabbit.[(((((triple4) -> rule3)) -> rule1))] The rabbit likes the rabbit.[(((((triple7) -> rule3)) -> rule1))] @3: The mouse sees the cow.[(((((((triple4) -> rule3)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3)) -> rule5)) -> rule4))]