The cow chases the dog. The cow is cold. The cow sees the lion. The dog chases the cow. The dog is big. The dog is round. The dog sees the lion. The dog visits the cow. The lion chases the cow. The lion is big. The lion is cold. The lion is rough. The lion sees the cow. The lion sees the dog. The lion visits the cow. The lion visits the dog. If something chases the lion and it sees the lion then the lion is round. If something is rough and big then it visits the cow. If something sees the dog and it visits the dog then it visits the cow. If something sees the lion and the lion chases the cow then the lion is rough. If something visits the dog and it chases the dog then it is big. If something is cold and it chases the dog then it visits the dog. If something sees the dog and the dog chases the cow then the cow is round. If something visits the dog and the dog is round then it chases the dog.
The cow is not round.
@0: The cow chases the dog.[(triple1)] The cow is cold.[(triple2)] The cow sees the lion.[(triple3)] The dog chases the cow.[(triple4)] The dog is big.[(triple5)] The dog is round.[(triple6)] The dog sees the lion.[(triple7)] The dog visits the cow.[(triple8)] The lion chases the cow.[(triple9)] The lion is big.[(triple10 OR ((triple16 ((triple16 triple6) -> rule8)) -> rule5))] The lion is cold.[(triple11)] The lion is rough.[(triple12 OR ((triple3 triple9) -> rule4) OR ((triple7 triple9) -> rule4))] The lion sees the cow.[(triple13)] The lion sees the dog.[(triple14)] The lion visits the cow.[(triple15 OR ((triple12 triple10) -> rule2) OR ((triple14 triple16) -> rule3) OR ((((triple3 triple9) -> rule4) triple10) -> rule2) OR ((((triple7 triple9) -> rule4) triple10) -> rule2) OR ((triple12 ((triple16 ((triple16 triple6) -> rule8)) -> rule5)) -> rule2) OR ((((triple3 triple9) -> rule4) ((triple16 ((triple16 triple6) -> rule8)) -> rule5)) -> rule2) OR ((((triple7 triple9) -> rule4) ((triple16 ((triple16 triple6) -> rule8)) -> rule5)) -> rule2))] The lion visits the dog.[(triple16)] @1: The cow is round.[(((triple14 triple4) -> rule7))] The cow visits the dog.[(((triple2 triple1) -> rule6))] The lion chases the dog.[(((triple16 triple6) -> rule8))] @2: The cow is big.[(((((triple2 triple1) -> rule6) triple1) -> rule5))]