The cow chases the lion. The cow is big. The cow sees the lion. The lion chases the cow. The lion is big. The lion is kind. The lion is nice. The lion is rough. The lion needs the cow. The lion sees the cow. If the lion is nice and the lion needs the cow then the cow is round. If the lion sees the cow and the lion is rough then the lion needs the cow. If the lion needs the cow then the lion is kind. If someone needs the lion and the lion is kind then they need the cow. If someone needs the cow and they see the cow then the cow sees the lion. If the cow sees the lion and the cow needs the lion then the cow chases the lion.
The cow does not need the cow.
@0: The cow chases the lion.[(triple1)] The cow is big.[(triple2)] The cow sees the lion.[(triple3 OR ((triple9 triple10) -> rule5) OR ((((triple10 triple8) -> rule2) triple10) -> rule5))] The lion chases the cow.[(triple4)] The lion is big.[(triple5)] The lion is kind.[(triple6 OR ((triple9) -> rule3) OR ((((triple10 triple8) -> rule2)) -> rule3))] The lion is nice.[(triple7)] The lion is rough.[(triple8)] The lion needs the cow.[(triple9 OR ((triple10 triple8) -> rule2))] The lion sees the cow.[(triple10)] @1: The cow is round.[(((triple7 triple9) -> rule1) OR ((triple7 ((triple10 triple8) -> rule2)) -> rule1))]