The cow chases the lion. The cow is rough. The cow likes the lion. The cow likes the rabbit. The cow sees the lion. The lion chases the cow. The lion is rough. The lion sees the cow. The lion sees the rabbit. The rabbit chases the lion. The rabbit is not big. The rabbit sees the lion. If something sees the rabbit then it does not like the rabbit. If the rabbit likes the lion then the lion is round. If something is rough then it chases the cow.
The lion does not see the cow.
@0: The cow chases the lion.[(triple1)] The cow is rough.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the rabbit.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the cow.[(triple6 OR ((triple7) -> rule3))] The lion is rough.[(triple7)] The lion sees the cow.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is not big.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The cow chases the cow.[(((triple2) -> rule3))] The lion does not like the rabbit.[(((triple9) -> rule1))]