The cow chases the lion. The cow is red. The cow sees the lion. The cow visits the lion. The lion chases the cow. The lion is big. The lion is blue. The lion is not rough. The lion sees the cow. The lion does not visit the cow. If something is big and not red then it visits the cow. If the lion visits the cow then the lion is not rough. If something is blue then it sees the cow.
The cow does not chase the lion.
@0: The cow chases the lion.[(triple1)] The cow is red.[(triple2)] The cow sees the lion.[(triple3)] The cow visits the lion.[(triple4)] The lion chases the cow.[(triple5)] The lion does not visit the cow.[(triple10)] The lion is big.[(triple6)] The lion is blue.[(triple7)] The lion is not rough.[(triple8)] The lion sees the cow.[(triple9 OR ((triple7) -> rule3))]