The dog eats the squirrel. The dog is green. The dog is kind. The dog needs the mouse. The mouse is kind. The mouse is rough. The mouse is round. The squirrel sees the tiger. The tiger is young. The tiger needs the dog. The tiger needs the mouse. The tiger sees the mouse. If the squirrel needs the mouse and the mouse is kind then the mouse is green. Rough people are young. If someone is young then they need the squirrel. If the dog sees the mouse and the dog needs the squirrel then the mouse needs the dog. If someone needs the squirrel then they eat the tiger. If someone sees the tiger and they need the tiger then the tiger needs the squirrel.
The mouse is green.
@0: The dog eats the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog needs the mouse.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger is young.[(triple9)] The tiger needs the dog.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The mouse is young.[(((triple6) -> rule2))] The tiger needs the squirrel.[(((triple9) -> rule3))] @2: The mouse needs the squirrel.[(((((triple6) -> rule2)) -> rule3))] The tiger eats the tiger.[(((((triple9) -> rule3)) -> rule5))] @3: The mouse eats the tiger.[(((((((triple6) -> rule2)) -> rule3)) -> rule5))]