The cow is cold. The cow is red. The cow is young. The cow needs the lion. The cow sees the lion. The lion chases the squirrel. The lion is cold. The lion is not young. The lion sees the squirrel. The squirrel does not chase the cow. The squirrel chases the lion. The squirrel is big. The squirrel is cold. The squirrel is not red. The squirrel needs the cow. The squirrel does not need the lion. If something chases the cow then the cow does not need the lion. If something needs the cow and the cow does not chase the squirrel then the squirrel chases the cow. If something needs the squirrel and it does not see the cow then the squirrel chases the cow. If something is red then it does not need the squirrel. If something chases the lion then it is cold. If something is cold then it sees the squirrel. If something is red and it sees the squirrel then it is green. If something is big and not green then it needs the lion.
The lion is not green.
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow is young.[(triple3)] The cow needs the lion.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the squirrel.[(triple6)] The lion is cold.[(triple7)] The lion is not young.[(triple8)] The lion sees the squirrel.[(triple9 OR ((triple7) -> rule6))] The squirrel chases the lion.[(triple11)] The squirrel does not chase the cow.[(triple10)] The squirrel does not need the lion.[(triple16)] The squirrel is big.[(triple12)] The squirrel is cold.[(triple13 OR ((triple11) -> rule5))] The squirrel is not red.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The cow does not need the squirrel.[(((triple2) -> rule4))] The cow sees the squirrel.[(((triple1) -> rule6))] The squirrel sees the squirrel.[(((triple13) -> rule6) OR ((((triple11) -> rule5)) -> rule6))] @2: The cow is green.[(((triple2 ((triple1) -> rule6)) -> rule7))]