The cow eats the mouse. The cow eats the rabbit. The mouse likes the cow. The mouse likes the rabbit. The mouse needs the rabbit. The rabbit eats the cow. The rabbit eats the mouse. The rabbit is red. The rabbit is young. The rabbit needs the cow. If something eats the mouse then it eats the cow. If the cow likes the mouse and the cow is blue then the cow is cold. If the mouse likes the cow then the cow likes the rabbit. If something is cold then it likes the cow. If something is cold then it needs the rabbit. If something likes the rabbit and the rabbit likes the cow then it likes the cow. If something likes the cow and the cow likes the rabbit then it eats the mouse. If the rabbit is kind then the rabbit likes the cow.
The rabbit is red.
@0: The cow eats the mouse.[(triple1)] The cow eats the rabbit.[(triple2)] The mouse likes the cow.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The rabbit eats the cow.[(triple6 OR ((triple7) -> rule1))] The rabbit eats the mouse.[(triple7)] The rabbit is red.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the cow.[(triple10)] @1: The cow eats the cow.[(((triple1) -> rule1))] The cow likes the rabbit.[(((triple3) -> rule3))] @2: The mouse eats the mouse.[(((triple3 ((triple3) -> rule3)) -> rule7))] @3: The mouse eats the cow.[(((((triple3 ((triple3) -> rule3)) -> rule7)) -> rule1))]