The cow chases the rabbit. The cow eats the rabbit. The cow eats the squirrel. The cow is cold. The cow is green. The cow is rough. The lion eats the cow. The lion visits the rabbit. The rabbit visits the squirrel. The squirrel chases the cow. The squirrel chases the lion. The squirrel eats the rabbit. The squirrel is green. The squirrel is kind. The squirrel visits the lion. If something is cold then it is green. If something eats the rabbit and it is round then the rabbit eats the lion. If something eats the rabbit and it visits the rabbit then the rabbit eats the cow. If something chases the lion and it is green then the lion visits the cow. If something eats the cow and it chases the lion then the lion visits the cow. If something eats the cow then the cow visits the lion.
The lion is not green.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5 OR ((triple4) -> rule1))] The cow is rough.[(triple6)] The lion eats the cow.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is green.[(triple13)] The squirrel is kind.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The cow visits the lion.[(((triple7) -> rule6))] The lion visits the cow.[(((triple11 triple13) -> rule4))]