The bear chases the cat. The cat chases the squirrel. The cat eats the squirrel. The cat eats the tiger. The squirrel eats the tiger. The squirrel is rough. The squirrel sees the bear. The tiger eats the cat. The tiger is green. The tiger sees the cat. If something sees the cat then it chases the cat. If something chases the cat then it is blue. If the cat is nice and the cat is rough then the cat chases the bear. If the cat chases the tiger and the cat sees the bear then the tiger is blue. If something is blue then it is rough. If the squirrel chases the bear and the bear is blue then the squirrel chases the tiger. If the tiger is rough and the tiger is nice then the tiger eats the bear. If the squirrel sees the cat and the cat chases the squirrel then the squirrel eats the bear.
The squirrel is blue.
@0: The bear chases the cat.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the squirrel.[(triple3)] The cat eats the tiger.[(triple4)] The squirrel eats the tiger.[(triple5)] The squirrel is rough.[(triple6)] The squirrel sees the bear.[(triple7)] The tiger eats the cat.[(triple8)] The tiger is green.[(triple9)] The tiger sees the cat.[(triple10)] @1: The bear is blue.[(((triple1) -> rule2))] The tiger chases the cat.[(((triple10) -> rule1))] @2: The bear is rough.[(((((triple1) -> rule2)) -> rule5))] The tiger is blue.[(((((triple10) -> rule1)) -> rule2))] @3: The tiger is rough.[(((((((triple10) -> rule1)) -> rule2)) -> rule5))]