The cow likes the mouse. The cow visits the mouse. The lion eats the mouse. The lion is green. The lion is kind. The mouse is round. The mouse visits the squirrel. The squirrel eats the lion. The squirrel is green. The squirrel visits the cow. If someone eats the cow then they are kind. If someone visits the squirrel and they are round then they eat the cow. If someone is kind then they eat the squirrel. If someone is cold and they eat the cow then the cow likes the squirrel. If someone is kind and cold then they eat the squirrel. If someone likes the mouse then the mouse likes the cow. If someone is green then they visit the lion. If someone is round then they like the lion.
The squirrel is not kind.
@0: The cow likes the mouse.[(triple1)] The cow visits the mouse.[(triple2)] The lion eats the mouse.[(triple3)] The lion is green.[(triple4)] The lion is kind.[(triple5)] The mouse is round.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is green.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The lion eats the squirrel.[(((triple5) -> rule3))] The lion visits the lion.[(((triple4) -> rule7))] The mouse eats the cow.[(((triple7 triple6) -> rule2))] The mouse likes the cow.[(((triple1) -> rule6))] The mouse likes the lion.[(((triple6) -> rule8))] The squirrel visits the lion.[(((triple9) -> rule7))] @2: The mouse is kind.[(((((triple7 triple6) -> rule2)) -> rule1))] @3: The mouse eats the squirrel.[(((((((triple7 triple6) -> rule2)) -> rule1)) -> rule3))]