The cow is cold. The cow is red. The cow needs the lion. The cow needs the mouse. The lion does not eat the mouse. The lion eats the tiger. The lion sees the cow. The mouse is blue. The mouse does not need the cow. The tiger does not see the lion. If someone is rough and blue then they do not need the cow. If someone needs the tiger and they do not need the lion then the tiger needs the mouse. If someone sees the lion then the lion is blue. If someone is cold then they see the lion. If someone sees the mouse then they see the lion. If someone is blue and they do not eat the mouse then they see the lion.
The mouse sees the mouse.
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the mouse.[(triple4)] The lion does not eat the mouse.[(triple5)] The lion eats the tiger.[(triple6)] The lion sees the cow.[(triple7)] The mouse does not need the cow.[(triple9)] The mouse is blue.[(triple8)] The tiger does not see the lion.[(triple10)] @1: The cow sees the lion.[(((triple1) -> rule4))] @2: The lion is blue.[(((((triple1) -> rule4)) -> rule3))] @3: The lion sees the lion.[(((((((triple1) -> rule4)) -> rule3) triple5) -> rule6))]