The cat likes the mouse. The cat needs the tiger. The cat sees the lion. The lion is blue. The lion sees the mouse. The mouse is red. The mouse needs the tiger. The mouse sees the tiger. The tiger is kind. The tiger needs the mouse. If something sees the mouse and it sees the lion then it needs the cat. If something likes the tiger and the tiger is blue then it needs the cat. If something is blue then it sees the tiger. If something likes the cat and it is blue then the cat is blue. If something sees the tiger and it is red then the tiger sees the mouse. If something is red and blue then it needs the cat.
The mouse is not red.
@0: The cat likes the mouse.[(triple1)] The cat needs the tiger.[(triple2)] The cat sees the lion.[(triple3)] The lion is blue.[(triple4)] The lion sees the mouse.[(triple5)] The mouse is red.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger is kind.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The lion sees the tiger.[(((triple4) -> rule3))] The tiger sees the mouse.[(((triple8 triple6) -> rule5))]