The cow eats the mouse. The cow eats the rabbit. The cow is blue. The cow likes the mouse. The cow likes the rabbit. The cow sees the mouse. The mouse eats the cow. The mouse eats the rabbit. The mouse is blue. The mouse is kind. The mouse likes the cow. The mouse likes the rabbit. The mouse sees the cow. The mouse does not see the rabbit. The rabbit eats the mouse. The rabbit likes the mouse. Red people are not kind. If someone sees the cow then the cow eats the rabbit. If the cow does not see the rabbit then the rabbit is blue. If someone eats the rabbit then they like the cow. If someone likes the mouse and they like the cow then they are red. If the mouse is rough and the mouse is not big then the mouse is kind.
The cow likes the cow.
@0: The cow eats the mouse.[(triple1)] The cow eats the rabbit.[(triple2 OR ((triple13) -> rule2))] The cow is blue.[(triple3)] The cow likes the mouse.[(triple4)] The cow likes the rabbit.[(triple5)] The cow sees the mouse.[(triple6)] The mouse does not see the rabbit.[(triple14)] The mouse eats the cow.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is blue.[(triple9)] The mouse is kind.[(triple10)] The mouse likes the cow.[(triple11 OR ((triple8) -> rule4))] The mouse likes the rabbit.[(triple12)] The mouse sees the cow.[(triple13)] The rabbit eats the mouse.[(triple15)] The rabbit likes the mouse.[(triple16)] @1: The cow likes the cow.[(((triple2) -> rule4) OR ((((triple13) -> rule2)) -> rule4))] @2: The cow is red.[(((triple4 ((triple2) -> rule4)) -> rule5) OR ((triple4 ((((triple13) -> rule2)) -> rule4)) -> rule5))] @3: The cow is not kind.[(((((triple4 ((triple2) -> rule4)) -> rule5)) -> rule1) OR ((((triple4 ((((triple13) -> rule2)) -> rule4)) -> rule5)) -> rule1))]