The cat eats the lion. The cat eats the mouse. The cat eats the tiger. The cat is blue. The cat is red. The cat needs the mouse. The cat visits the lion. The cat visits the tiger. The lion eats the mouse. The lion is blue. The lion is cold. The mouse needs the lion. The mouse needs the tiger. The tiger eats the cat. The tiger eats the mouse. If the mouse eats the lion and the lion is cold then the mouse is big. If someone is big then they visit the mouse. If someone needs the mouse then the mouse eats the lion.
The mouse does not visit the mouse.
@0: The cat eats the lion.[(triple1)] The cat eats the mouse.[(triple2)] The cat eats the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is red.[(triple5)] The cat needs the mouse.[(triple6)] The cat visits the lion.[(triple7)] The cat visits the tiger.[(triple8)] The lion eats the mouse.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The mouse needs the lion.[(triple12)] The mouse needs the tiger.[(triple13)] The tiger eats the cat.[(triple14)] The tiger eats the mouse.[(triple15)] @1: The mouse eats the lion.[(((triple6) -> rule3))] @2: The mouse is big.[(((((triple6) -> rule3) triple11) -> rule1))] @3: The mouse visits the mouse.[(((((((triple6) -> rule3) triple11) -> rule1)) -> rule2))]