The bear chases the cat. The bear is big. The bear is cold. The bear likes the squirrel. The bear likes the tiger. The bear sees the squirrel. The cat is big. The cat is cold. The cat is young. The cat likes the bear. The cat likes the tiger. The cat sees the bear. The cat sees the tiger. The squirrel is young. The tiger chases the bear. The tiger likes the squirrel. If the tiger is young then the tiger likes the squirrel. If something is round then it likes the bear. If something likes the bear then it is cold. If the tiger likes the bear and the bear sees the squirrel then the squirrel is round. If something likes the squirrel then it is round. If something chases the bear and the bear likes the cat then the cat likes the squirrel.
The cat chases the cat.
@0: The bear chases the cat.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3 OR ((((((triple4) -> rule5)) -> rule2)) -> rule3))] The bear likes the squirrel.[(triple4)] The bear likes the tiger.[(triple5)] The bear sees the squirrel.[(triple6)] The cat is big.[(triple7)] The cat is cold.[(triple8 OR ((triple10) -> rule3))] The cat is young.[(triple9)] The cat likes the bear.[(triple10)] The cat likes the tiger.[(triple11)] The cat sees the bear.[(triple12)] The cat sees the tiger.[(triple13)] The squirrel is young.[(triple14)] The tiger chases the bear.[(triple15)] The tiger likes the squirrel.[(triple16)] @1: The bear is round.[(((triple4) -> rule5))] The tiger is round.[(((triple16) -> rule5))] @2: The bear likes the bear.[(((((triple4) -> rule5)) -> rule2))] The tiger likes the bear.[(((((triple16) -> rule5)) -> rule2))] @3: The squirrel is round.[(((((((triple16) -> rule5)) -> rule2) triple6) -> rule4))] The tiger is cold.[(((((((triple16) -> rule5)) -> rule2)) -> rule3))] @4: The squirrel likes the bear.[(((((((((triple16) -> rule5)) -> rule2) triple6) -> rule4)) -> rule2))] @5: The squirrel is cold.[(((((((((((triple16) -> rule5)) -> rule2) triple6) -> rule4)) -> rule2)) -> rule3))]