The dog is big. The dog is young. The lion eats the squirrel. The lion is blue. The lion is young. The lion likes the mouse. The mouse chases the squirrel. The mouse eats the dog. The mouse eats the lion. The mouse is blue. The mouse is nice. The mouse likes the dog. The squirrel chases the dog. The squirrel is blue. If someone likes the dog and the dog chases the mouse then the mouse chases the dog. If someone is young and nice then they like the squirrel. If someone chases the dog then the dog eats the mouse. If someone eats the mouse then the mouse is young. If someone likes the squirrel and they like the dog then the dog chases the mouse. If someone chases the lion and the lion is rough then they are nice. If someone likes the mouse and they chase the mouse then the mouse eats the squirrel.
The mouse is young.
@0: The dog is big.[(triple1)] The dog is young.[(triple2)] The lion eats the squirrel.[(triple3)] The lion is blue.[(triple4)] The lion is young.[(triple5)] The lion likes the mouse.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse eats the dog.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the dog.[(triple12)] The squirrel chases the dog.[(triple13)] The squirrel is blue.[(triple14)] @1: The dog eats the mouse.[(((triple13) -> rule3))] @2: The mouse is young.[(((((triple13) -> rule3)) -> rule4))] @3: The mouse likes the squirrel.[(((((((triple13) -> rule3)) -> rule4) triple11) -> rule2))] @4: The dog chases the mouse.[(((((((((triple13) -> rule3)) -> rule4) triple11) -> rule2) triple12) -> rule5))] @5: The mouse chases the dog.[(((triple12 ((((((((triple13) -> rule3)) -> rule4) triple11) -> rule2) triple12) -> rule5)) -> rule1))]