The bear eats the squirrel. The bear sees the squirrel. The lion chases the bear. The lion eats the squirrel. The lion eats the tiger. The lion is not rough. The lion sees the bear. The squirrel is cold. The squirrel is green. The tiger chases the squirrel. The tiger eats the squirrel. The tiger sees the squirrel. If something eats the tiger and the tiger is not rough then it is not young. Big things are young. If something eats the squirrel then it is big. Young things are not cold. If something eats the bear then it is not cold. If the squirrel sees the tiger then the tiger does not see the lion.
The tiger does not eat the lion.
@0: The bear eats the squirrel.[(triple1)] The bear sees the squirrel.[(triple2)] The lion chases the bear.[(triple3)] The lion eats the squirrel.[(triple4)] The lion eats the tiger.[(triple5)] The lion is not rough.[(triple6)] The lion sees the bear.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The bear is big.[(((triple1) -> rule3))] The lion is big.[(((triple4) -> rule3))] The tiger is big.[(((triple11) -> rule3))] @2: The bear is young.[(((((triple1) -> rule3)) -> rule2))] The lion is young.[(((((triple4) -> rule3)) -> rule2))] The tiger is young.[(((((triple11) -> rule3)) -> rule2))] @3: The bear is not cold.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))] The lion is not cold.[(((((((triple4) -> rule3)) -> rule2)) -> rule4))] The tiger is not cold.[(((((((triple11) -> rule3)) -> rule2)) -> rule4))]