The dog is big. The dog likes the mouse. The dog likes the tiger. The dog sees the squirrel. The dog sees the tiger. The dog visits the mouse. The dog visits the squirrel. The mouse sees the squirrel. The mouse visits the squirrel. The mouse visits the tiger. The squirrel is big. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is big. The tiger is young. The tiger sees the mouse. If something is round then it is blue. If the tiger sees the mouse then the mouse is big. If something is big then it is round.
The mouse is not kind.
@0: The dog is big.[(triple1)] The dog likes the mouse.[(triple2)] The dog likes the tiger.[(triple3)] The dog sees the squirrel.[(triple4)] The dog sees the tiger.[(triple5)] The dog visits the mouse.[(triple6)] The dog visits the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8)] The mouse visits the squirrel.[(triple9)] The mouse visits the tiger.[(triple10)] The squirrel is big.[(triple11)] The squirrel sees the tiger.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger is big.[(triple14)] The tiger is young.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The dog is round.[(((triple1) -> rule3))] The mouse is big.[(((triple16) -> rule2))] The squirrel is round.[(((triple11) -> rule3))] The tiger is round.[(((triple14) -> rule3))] @2: The dog is blue.[(((((triple1) -> rule3)) -> rule1))] The mouse is round.[(((((triple16) -> rule2)) -> rule3))] The squirrel is blue.[(((((triple11) -> rule3)) -> rule1))] The tiger is blue.[(((((triple14) -> rule3)) -> rule1))] @3: The mouse is blue.[(((((((triple16) -> rule2)) -> rule3)) -> rule1))]