The cow chases the lion. The cow is cold. The cow is nice. The cow is red. The cow is not round. The cow is young. The cow needs the lion. The cow sees the lion. The lion is cold. The lion is round. The lion is young. The lion sees the cow. If something is round and it does not chase the lion then the lion is not cold. If the lion is young then the lion does not need the cow. If something chases the lion then it needs the cow. If the lion chases the cow and the cow chases the lion then the lion sees the cow. If something sees the cow and it is not cold then the cow sees the lion. If something needs the cow and the cow chases the lion then the cow sees the lion.
The cow does not need the cow.
@0: The cow chases the lion.[(triple1)] The cow is cold.[(triple2)] The cow is nice.[(triple3)] The cow is not round.[(triple5)] The cow is red.[(triple4)] The cow is young.[(triple6)] The cow needs the lion.[(triple7)] The cow sees the lion.[(triple8 OR ((((triple1) -> rule3) triple1) -> rule6))] The lion is cold.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion sees the cow.[(triple12)] @1: The cow needs the cow.[(((triple1) -> rule3))] The lion does not need the cow.[(((triple11) -> rule2))]