The lion eats the rabbit. The lion eats the tiger. The lion is red. The lion does not see the squirrel. The rabbit is not blue. The rabbit likes the squirrel. The rabbit does not like the tiger. The rabbit sees the squirrel. The squirrel does not eat the rabbit. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel likes the lion. The squirrel likes the tiger. The squirrel sees the lion. The tiger is big. If someone eats the rabbit and they see the rabbit then the rabbit sees the lion. If the lion eats the tiger then the lion sees the tiger. If someone likes the squirrel and they are blue then the squirrel eats the rabbit. If someone sees the tiger then they are big. If someone sees the tiger then the tiger likes the lion. If someone is big and they see the lion then the lion does not like the rabbit. If the lion sees the tiger and the lion is not blue then the tiger is red. If someone is red then they do not see the squirrel.
The squirrel sees the squirrel.
@0: The lion does not see the squirrel.[(triple4 OR ((triple3) -> rule8))] The lion eats the rabbit.[(triple1)] The lion eats the tiger.[(triple2)] The lion is red.[(triple3)] The rabbit does not like the tiger.[(triple7)] The rabbit is not blue.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple8)] The squirrel does not eat the rabbit.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the lion.[(triple13)] The squirrel likes the tiger.[(triple14)] The squirrel sees the lion.[(triple15)] The tiger is big.[(triple16)] @1: The lion sees the tiger.[(((triple2) -> rule2))] The squirrel does not see the squirrel.[(((triple11) -> rule8))] @2: The lion is big.[(((((triple2) -> rule2)) -> rule4))] The tiger likes the lion.[(((((triple2) -> rule2)) -> rule5))]