The cow chases the lion. The cow chases the squirrel. The cow is green. The cow is red. The cow sees the lion. The cow sees the squirrel. The cow visits the lion. The cow visits the squirrel. The lion chases the cow. The lion is green. The lion is kind. The lion is nice. The lion is red. The lion visits the cow. The squirrel visits the cow. The squirrel visits the lion. If the cow chases the squirrel and the cow visits the squirrel then the cow is nice. If something chases the cow then the cow sees the squirrel.
The lion sees the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow sees the lion.[(triple5)] The cow sees the squirrel.[(triple6 OR ((triple9) -> rule2))] The cow visits the lion.[(triple7)] The cow visits the squirrel.[(triple8)] The lion chases the cow.[(triple9)] The lion is green.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is red.[(triple13)] The lion visits the cow.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The cow is nice.[(((triple2 triple8) -> rule1))]