The cow is cold. The cow is nice. The cow sees the lion. The lion chases the cow. The lion eats the cow. The lion is cold. The mouse chases the cow. The mouse eats the lion. The mouse is big. The mouse is cold. The mouse sees the cow. The squirrel chases the mouse. The squirrel is cold. The squirrel is nice. The squirrel sees the lion. If someone sees the squirrel and the squirrel sees the lion then the lion is big. If someone is nice then they see the squirrel. If someone is big and cold then they see the squirrel. If the mouse is cold and the mouse is green then the mouse chases the cow. All young people are green. If the mouse sees the lion then the lion is nice.
The squirrel is green.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow sees the lion.[(triple3)] The lion chases the cow.[(triple4)] The lion eats the cow.[(triple5)] The lion is cold.[(triple6)] The mouse chases the cow.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is big.[(triple9)] The mouse is cold.[(triple10)] The mouse sees the cow.[(triple11)] The squirrel chases the mouse.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is nice.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The cow sees the squirrel.[(((triple2) -> rule2))] The mouse sees the squirrel.[(((triple9 triple10) -> rule3))] The squirrel sees the squirrel.[(((triple14) -> rule2))] @2: The lion is big.[(((((triple14) -> rule2) triple15) -> rule1) OR ((((triple2) -> rule2) triple15) -> rule1) OR ((((triple9 triple10) -> rule3) triple15) -> rule1))] @3: The lion sees the squirrel.[(((((((triple14) -> rule2) triple15) -> rule1) triple6) -> rule3) OR ((((((triple2) -> rule2) triple15) -> rule1) triple6) -> rule3) OR ((((((triple9 triple10) -> rule3) triple15) -> rule1) triple6) -> rule3))]