The dog eats the squirrel. The dog is big. The dog is red. The dog is round. The dog likes the squirrel. The dog needs the mouse. The mouse likes the dog. The mouse needs the dog. The squirrel eats the dog. The squirrel is blue. The squirrel is red. The squirrel needs the mouse. If someone needs the mouse then the mouse eats the dog.
The dog eats the mouse.
@0: The dog eats the squirrel.[(triple1)] The dog is big.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog likes the squirrel.[(triple5)] The dog needs the mouse.[(triple6)] The mouse likes the dog.[(triple7)] The mouse needs the dog.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is red.[(triple11)] The squirrel needs the mouse.[(triple12)] @1: The mouse eats the dog.[(((triple12) -> rule1) OR ((triple6) -> rule1))]