The bear likes the cat. The bear likes the squirrel. The bear does not like the tiger. The bear sees the cat. The cat chases the bear. The cat is red. The cat sees the bear. The cat sees the tiger. The squirrel is big. The squirrel is young. The squirrel likes the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger likes the bear. The tiger likes the squirrel. If the tiger chases the cat then the cat sees the tiger. If something likes the tiger then it sees the bear. If the bear chases the squirrel and the squirrel chases the tiger then the squirrel is young.
The tiger likes the squirrel.
@0: The bear does not like the tiger.[(triple3)] The bear likes the cat.[(triple1)] The bear likes the squirrel.[(triple2)] The bear sees the cat.[(triple4)] The cat chases the bear.[(triple5)] The cat is red.[(triple6)] The cat sees the bear.[(triple7)] The cat sees the tiger.[(triple8 OR ((triple12) -> rule1))] The squirrel is big.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the tiger.[(triple11)] The tiger chases the cat.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The squirrel sees the bear.[(((triple11) -> rule2))]