The bear eats the cow. The bear is blue. The cow eats the squirrel. The cow is young. The cow visits the lion. The lion is red. The lion is young. The lion visits the cow. The squirrel sees the bear. The squirrel visits the bear. If something sees the cow and the cow eats the squirrel then the cow is red. If the cow eats the bear and the bear sees the cow then the bear is blue. If something is blue and it sees the squirrel then the squirrel is round. If something sees the squirrel then the squirrel eats the cow. If the lion sees the cow and the cow visits the squirrel then the cow eats the squirrel. If something is red then it eats the lion. If the bear visits the squirrel and the bear is round then the bear sees the cow. If something eats the lion then it sees the cow. If something is young and cold then it eats the cow.
The cow is not red.
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is young.[(triple4)] The cow visits the lion.[(triple5)] The lion is red.[(triple6)] The lion is young.[(triple7)] The lion visits the cow.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The lion eats the lion.[(((triple6) -> rule6))] @2: The lion sees the cow.[(((((triple6) -> rule6)) -> rule8))] @3: The cow is red.[(((((((triple6) -> rule6)) -> rule8) triple3) -> rule1))] @4: The cow eats the lion.[(((((((((triple6) -> rule6)) -> rule8) triple3) -> rule1)) -> rule6))] @5: The cow sees the cow.[(((((((((((triple6) -> rule6)) -> rule8) triple3) -> rule1)) -> rule6)) -> rule8))]