The bear chases the cat. The bear is blue. The bear is kind. The bear is nice. The bear needs the cat. The cat is not young. The cat needs the squirrel. The squirrel chases the tiger. The squirrel eats the bear. The squirrel eats the cat. The tiger eats the squirrel. The tiger is blue. If something is kind then it does not need the bear. If something eats the squirrel then it is cold. If the tiger eats the bear and the bear needs the cat then the cat eats the squirrel. If something is cold then it eats the bear. If the bear is nice then the bear does not chase the tiger. If something is cold then it chases the tiger. If something eats the bear and it is not cold then it chases the tiger. If something needs the tiger and it does not eat the squirrel then the tiger is blue. If something chases the tiger and it is blue then the tiger needs the bear.
The tiger does not chase the tiger.
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear needs the cat.[(triple5)] The cat is not young.[(triple6)] The cat needs the squirrel.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel eats the cat.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger is blue.[(triple12)] @1: The bear does not chase the tiger.[(((triple4) -> rule5))] The bear does not need the bear.[(((triple3) -> rule1))] The tiger is cold.[(((triple11) -> rule2))] @2: The tiger chases the tiger.[(((((triple11) -> rule2)) -> rule6))] The tiger eats the bear.[(((((triple11) -> rule2)) -> rule4))] @3: The cat eats the squirrel.[(((((((triple11) -> rule2)) -> rule4) triple5) -> rule3))] The tiger needs the bear.[(((((((triple11) -> rule2)) -> rule6) triple12) -> rule9))] @4: The cat is cold.[(((((((((triple11) -> rule2)) -> rule4) triple5) -> rule3)) -> rule2))] @5: The cat chases the tiger.[(((((((((((triple11) -> rule2)) -> rule4) triple5) -> rule3)) -> rule2)) -> rule6))] The cat eats the bear.[(((((((((((triple11) -> rule2)) -> rule4) triple5) -> rule3)) -> rule2)) -> rule4))]