The bear is round. The bear sees the cat. The cat is blue. The cat is round. The cat likes the bear. The squirrel eats the bear. The squirrel sees the cat. If someone sees the bear and they like the bear then the bear likes the cat. If someone likes the cat and the cat likes the bear then they see the bear. If someone eats the squirrel then they eat the bear. If someone eats the squirrel then the squirrel likes the cat. If someone likes the squirrel and the squirrel is round then they are red. If someone is red and they like the cat then they are blue. If someone sees the squirrel then they eat the cat. If someone likes the bear then they eat the squirrel.
The cat eats the squirrel.
@0: The bear is round.[(triple1)] The bear sees the cat.[(triple2)] The cat is blue.[(triple3)] The cat is round.[(triple4)] The cat likes the bear.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel sees the cat.[(triple7)] @1: The cat eats the squirrel.[(((triple5) -> rule8))] @2: The cat eats the bear.[(((((triple5) -> rule8)) -> rule3))] The squirrel likes the cat.[(((((triple5) -> rule8)) -> rule4))] @3: The squirrel sees the bear.[(((((((triple5) -> rule8)) -> rule4) triple5) -> rule2))]