The bear likes the tiger. The bear needs the squirrel. The cat is rough. The cat likes the tiger. The cat needs the squirrel. The cat needs the tiger. The cat sees the squirrel. The squirrel is red. The squirrel likes the tiger. The tiger is red. The tiger is young. The tiger likes the squirrel. The tiger needs the bear. The tiger needs the cat. The tiger sees the bear. If someone sees the cat then the cat likes the squirrel. If someone likes the squirrel and the squirrel needs the cat then they are big. If someone likes the squirrel then the squirrel needs the bear. If someone sees the cat and the cat is rough then the cat sees the bear. If someone sees the bear then they see the cat. If the cat sees the tiger then the tiger sees the squirrel.
The cat does not see the bear.
@0: The bear likes the tiger.[(triple1)] The bear needs the squirrel.[(triple2)] The cat is rough.[(triple3)] The cat likes the tiger.[(triple4)] The cat needs the squirrel.[(triple5)] The cat needs the tiger.[(triple6)] The cat sees the squirrel.[(triple7)] The squirrel is red.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11)] The tiger likes the squirrel.[(triple12)] The tiger needs the bear.[(triple13)] The tiger needs the cat.[(triple14)] The tiger sees the bear.[(triple15)] @1: The squirrel needs the bear.[(((triple12) -> rule3) OR ((((((triple15) -> rule5)) -> rule1)) -> rule3) OR ((((((((((triple15) -> rule5) triple3) -> rule4)) -> rule5)) -> rule1)) -> rule3))] The tiger sees the cat.[(((triple15) -> rule5))] @2: The cat likes the squirrel.[(((((triple15) -> rule5)) -> rule1) OR ((((((((triple15) -> rule5) triple3) -> rule4)) -> rule5)) -> rule1))] The cat sees the bear.[(((((triple15) -> rule5) triple3) -> rule4))] @3: The cat sees the cat.[(((((((triple15) -> rule5) triple3) -> rule4)) -> rule5))]