The cat eats the lion. The cat eats the mouse. The cat is blue. The cat is rough. The cat is round. The cat needs the lion. The cat needs the mouse. The lion eats the cat. The lion eats the mouse. The lion is round. The lion needs the mouse. The mouse is blue. The mouse is nice. The mouse sees the cat. The mouse sees the lion. If the lion is rough then the lion is round. If something needs the lion and it eats the cat then the cat sees the lion. If something eats the mouse and it eats the lion then it needs the lion. If something eats the lion and the lion needs the mouse then it sees the mouse. If something sees the mouse then it eats the mouse. If something is red and it sees the lion then it is blue. If something needs the mouse and it sees the cat then the cat sees the lion. If something is round then it eats the mouse.
The mouse does not see the cat.
@0: The cat eats the lion.[(triple1)] The cat eats the mouse.[(triple2 OR ((triple5) -> rule8) OR ((((triple1 triple11) -> rule4)) -> rule5))] The cat is blue.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat needs the lion.[(triple6 OR ((triple2 triple1) -> rule3) OR ((((triple5) -> rule8) triple1) -> rule3) OR ((((((triple1 triple11) -> rule4)) -> rule5) triple1) -> rule3))] The cat needs the mouse.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the mouse.[(triple9 OR ((triple10) -> rule8))] The lion is round.[(triple10)] The lion needs the mouse.[(triple11)] The mouse is blue.[(triple12)] The mouse is nice.[(triple13)] The mouse sees the cat.[(triple14)] The mouse sees the lion.[(triple15)] @1: The cat sees the mouse.[(((triple1 triple11) -> rule4))]