The cow chases the mouse. The cow is kind. The cow likes the squirrel. The cow visits the lion. The cow visits the mouse. The lion chases the mouse. The lion is kind. The lion visits the cow. The mouse chases the squirrel. The mouse is red. The mouse likes the lion. The mouse does not like the squirrel. The mouse visits the cow. The mouse visits the lion. The squirrel chases the cow. The squirrel likes the mouse. If someone likes the squirrel then they chase the lion. If someone visits the squirrel then the squirrel chases the lion. If someone likes the lion and they visit the mouse then the lion visits the squirrel. All red people are not round. All nice, kind people are young. If the lion likes the mouse and the lion is red then the lion is not nice. If someone chases the squirrel and the squirrel likes the cow then the cow likes the squirrel. If someone is young then they like the lion. If someone chases the lion and the lion visits the cow then the cow is nice.
The lion is not young.
@0: The cow chases the mouse.[(triple1)] The cow is kind.[(triple2)] The cow likes the squirrel.[(triple3)] The cow visits the lion.[(triple4)] The cow visits the mouse.[(triple5)] The lion chases the mouse.[(triple6)] The lion is kind.[(triple7)] The lion visits the cow.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse does not like the squirrel.[(triple12)] The mouse is red.[(triple10)] The mouse likes the lion.[(triple11)] The mouse visits the cow.[(triple13)] The mouse visits the lion.[(triple14)] The squirrel chases the cow.[(triple15)] The squirrel likes the mouse.[(triple16)] @1: The cow chases the lion.[(((triple3) -> rule1))] The mouse is not round.[(((triple10) -> rule4))] @2: The cow is nice.[(((((triple3) -> rule1) triple8) -> rule9))] @3: The cow is young.[(((((((triple3) -> rule1) triple8) -> rule9) triple2) -> rule5))] @4: The cow likes the lion.[(((((((((triple3) -> rule1) triple8) -> rule9) triple2) -> rule5)) -> rule8))] @5: The lion visits the squirrel.[(((((((((((triple3) -> rule1) triple8) -> rule9) triple2) -> rule5)) -> rule8) triple5) -> rule3))] @6: The squirrel chases the lion.[(((((((((((((triple3) -> rule1) triple8) -> rule9) triple2) -> rule5)) -> rule8) triple5) -> rule3)) -> rule2))]