The cat chases the lion. The cat is rough. The cat sees the lion. The lion chases the squirrel. The squirrel is green. The squirrel is not nice. The squirrel needs the cat. The squirrel needs the lion. The squirrel sees the cat. The squirrel sees the lion. The tiger chases the squirrel. The tiger is nice. The tiger needs the cat. The tiger needs the lion. The tiger sees the lion. The tiger sees the squirrel. If something needs the lion then it sees the squirrel. If something needs the lion then the lion sees the cat. If something is blue and it needs the cat then it needs the squirrel. If something is green and it sees the squirrel then the squirrel does not see the tiger. If something needs the tiger then it needs the lion. If something sees the tiger and the tiger does not see the squirrel then it is not big.
The squirrel does not see the lion.
@0: The cat chases the lion.[(triple1)] The cat is rough.[(triple2)] The cat sees the lion.[(triple3)] The lion chases the squirrel.[(triple4)] The squirrel is green.[(triple5)] The squirrel is not nice.[(triple6)] The squirrel needs the cat.[(triple7)] The squirrel needs the lion.[(triple8)] The squirrel sees the cat.[(triple9)] The squirrel sees the lion.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger is nice.[(triple12)] The tiger needs the cat.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the lion.[(triple15)] The tiger sees the squirrel.[(triple16 OR ((triple14) -> rule1))] @1: The lion sees the cat.[(((triple14) -> rule2) OR ((triple8) -> rule2))] The squirrel sees the squirrel.[(((triple8) -> rule1))] @2: The squirrel does not see the tiger.[(((triple5 ((triple8) -> rule1)) -> rule4))]