The cow chases the lion. The cow eats the lion. The cow is cold. The cow is kind. The cow sees the lion. The lion chases the cow. The lion does not eat the cow. The lion is cold. The lion is green. The lion is kind. The lion is rough. The lion sees the cow. If someone is rough then they do not eat the cow. If the cow is cold then the cow eats the lion. If someone eats the cow then the cow does not eat the lion.
The lion does not see the lion.
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2 OR ((triple3) -> rule2))] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion does not eat the cow.[(triple7 OR ((triple11) -> rule1))] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion is kind.[(triple10)] The lion is rough.[(triple11)] The lion sees the cow.[(triple12)]