The cow is green. The cow is kind. The cow is nice. The cow is red. The cow is not round. The cow likes the lion. The cow sees the lion. The cow visits the lion. The lion is green. The lion is kind. The lion is not nice. The lion is red. The lion is round. The lion does not like the cow. The lion sees the cow. The lion visits the cow. If the lion sees the cow and the lion is nice then the lion is not kind. If someone sees the lion and they visit the cow then the cow likes the lion. If someone is red and they like the cow then they visit the lion. If someone is nice and they visit the lion then the lion does not like the cow. If someone likes the lion then they like the cow. If someone visits the cow and the cow does not like the lion then they like the cow.
The lion does not visit the lion.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is not round.[(triple5)] The cow is red.[(triple4)] The cow likes the lion.[(triple6)] The cow sees the lion.[(triple7)] The cow visits the lion.[(triple8 OR ((triple4 ((triple6) -> rule5)) -> rule3))] The lion does not like the cow.[(triple14 OR ((triple3 triple8) -> rule4) OR ((triple3 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule4))] The lion is green.[(triple9)] The lion is kind.[(triple10)] The lion is not nice.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion sees the cow.[(triple15)] The lion visits the cow.[(triple16)] @1: The cow likes the cow.[(((triple6) -> rule5))]