The cow does not chase the lion. The cow is cold. The cow is green. The cow is not kind. The cow is nice. The cow needs the lion. The cow visits the lion. The lion chases the cow. The lion is not cold. The lion is kind. The lion needs the cow. The lion visits the cow. If something chases the lion and it is not kind then it is green. If the cow needs the lion then the lion chases the cow. If the lion chases the cow and the cow is not kind then the cow visits the lion. If something is green and it needs the lion then the lion is big. If something is big then it chases the cow. If something is cold and not big then it does not visit the cow. If something visits the lion then it does not visit the cow. If something is cold then it does not visit the cow.
The lion is green.
@0: The cow does not chase the lion.[(triple1)] The cow is cold.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple5)] The cow is not kind.[(triple4)] The cow needs the lion.[(triple6)] The cow visits the lion.[(triple7 OR ((triple8 triple4) -> rule3) OR ((((triple6) -> rule2) triple4) -> rule3) OR ((((((triple3 triple6) -> rule4)) -> rule5) triple4) -> rule3))] The lion chases the cow.[(triple8 OR ((triple6) -> rule2) OR ((((triple3 triple6) -> rule4)) -> rule5))] The lion is kind.[(triple10)] The lion is not cold.[(triple9)] The lion needs the cow.[(triple11)] The lion visits the cow.[(triple12)] @1: The cow does not visit the cow.[(((triple2) -> rule8) OR ((triple7) -> rule7) OR ((((triple8 triple4) -> rule3)) -> rule7) OR ((((((triple6) -> rule2) triple4) -> rule3)) -> rule7) OR ((((((((triple3 triple6) -> rule4)) -> rule5) triple4) -> rule3)) -> rule7))] The lion is big.[(((triple3 triple6) -> rule4))]