The bear chases the squirrel. The bear eats the cat. The bear is blue. The bear is kind. The bear is round. The cat is red. The mouse visits the bear. The squirrel is big. The squirrel is red. The squirrel visits the bear. If the cat is red then the cat eats the mouse. If the bear is big then the bear eats the squirrel. If something is kind and it eats the cat then the cat visits the bear.
The cat chases the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear eats the cat.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The cat is red.[(triple6)] The mouse visits the bear.[(triple7)] The squirrel is big.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The cat eats the mouse.[(((triple6) -> rule1))] The cat visits the bear.[(((triple4 triple2) -> rule3))]