The cat is big. The cat is young. The cat likes the squirrel. The cat visits the squirrel. The mouse is round. The mouse visits the cat. The squirrel chases the cat. The squirrel is round. The squirrel visits the cat. The squirrel visits the mouse. If someone visits the mouse then the mouse visits the squirrel. If someone is young and big then they chase the squirrel. If someone visits the squirrel and they chase the cat then the cat chases the squirrel.
The mouse does not chase the squirrel.
@0: The cat is big.[(triple1)] The cat is young.[(triple2)] The cat likes the squirrel.[(triple3)] The cat visits the squirrel.[(triple4)] The mouse is round.[(triple5)] The mouse visits the cat.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The cat chases the squirrel.[(((triple2 triple1) -> rule2))] The mouse visits the squirrel.[(((triple10) -> rule1))]