The cow is green. The cow is kind. The cow is nice. The cow is round. The cow is young. The cow likes the lion. The cow needs the lion. The cow visits the lion. The lion is green. The lion is kind. The lion is not round. The lion is young. The lion likes the cow. The lion needs the cow. The lion visits the cow. If the lion is nice and the lion needs the cow then the cow visits the lion. If the cow likes the lion then the lion visits the cow. If someone needs the lion and the lion is not young then the lion visits the cow. If someone visits the lion and they do not like the cow then the cow does not like the lion. If the lion likes the cow then the cow likes the lion. If the cow likes the lion then the lion needs the cow. If someone is round and green then they like the lion. If someone likes the lion and the lion likes the cow then the lion is not nice.
The cow is not kind.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the lion.[(triple6 OR ((triple13) -> rule5) OR ((triple4 triple1) -> rule7))] The cow needs the lion.[(triple7)] The cow visits the lion.[(triple8)] The lion is green.[(triple9)] The lion is kind.[(triple10)] The lion is not round.[(triple11)] The lion is young.[(triple12)] The lion likes the cow.[(triple13)] The lion needs the cow.[(triple14 OR ((triple6) -> rule6) OR ((((triple13) -> rule5)) -> rule6) OR ((((triple4 triple1) -> rule7)) -> rule6))] The lion visits the cow.[(triple15 OR ((triple6) -> rule2) OR ((((triple13) -> rule5)) -> rule2) OR ((((triple4 triple1) -> rule7)) -> rule2))] @1: The lion is not nice.[(((triple6 triple13) -> rule8) OR ((((triple13) -> rule5) triple13) -> rule8) OR ((((triple4 triple1) -> rule7) triple13) -> rule8))]