The cat eats the mouse. The cat is big. The cat likes the mouse. The cow is not blue. The cow is kind. The cow likes the mouse. The mouse eats the cat. The mouse eats the cow. The mouse likes the cat. The mouse sees the cat. If someone likes the mouse then they are big. If the cat sees the mouse and the cat likes the mouse then the mouse likes the cow. If someone is green and they see the cow then they do not eat the cat. If someone likes the cat then the cat is cold. If someone is big then they see the cat. If someone sees the cat and they are not green then they eat the mouse.
The cat does not see the cat.
@0: The cat eats the mouse.[(triple1)] The cat is big.[(triple2 OR ((triple3) -> rule1))] The cat likes the mouse.[(triple3)] The cow is kind.[(triple5)] The cow is not blue.[(triple4)] The cow likes the mouse.[(triple6)] The mouse eats the cat.[(triple7)] The mouse eats the cow.[(triple8)] The mouse likes the cat.[(triple9)] The mouse sees the cat.[(triple10)] @1: The cat is cold.[(((triple9) -> rule4))] The cat sees the cat.[(((triple2) -> rule5) OR ((((triple3) -> rule1)) -> rule5))] The cow is big.[(((triple6) -> rule1))] @2: The cow sees the cat.[(((((triple6) -> rule1)) -> rule5))]