The cat chases the cow. The cat chases the lion. The cat eats the cow. The cat is kind. The cat is not nice. The cow chases the cat. The cow does not chase the lion. The cow does not eat the lion. The cow is not big. The cow visits the cat. The cow visits the lion. The lion chases the cat. The lion does not chase the cow. The lion eats the cat. The lion is kind. The lion is rough. If someone chases the lion then the lion eats the cow. If someone visits the cat then the cat is not big. If someone eats the lion then they eat the cow. If someone is nice then they eat the cow. If the lion eats the cat and the cat is kind then the lion is not big. If someone eats the cow then they do not visit the lion.
The cow visits the lion.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat eats the cow.[(triple3)] The cat is kind.[(triple4)] The cat is not nice.[(triple5)] The cow chases the cat.[(triple6)] The cow does not chase the lion.[(triple7)] The cow does not eat the lion.[(triple8)] The cow is not big.[(triple9)] The cow visits the cat.[(triple10)] The cow visits the lion.[(triple11)] The lion chases the cat.[(triple12)] The lion does not chase the cow.[(triple13)] The lion eats the cat.[(triple14)] The lion is kind.[(triple15)] The lion is rough.[(triple16)] @1: The cat does not visit the lion.[(((triple3) -> rule6))] The cat is not big.[(((triple10) -> rule2))] The lion eats the cow.[(((triple2) -> rule1))] The lion is not big.[(((triple14 triple4) -> rule5))] @2: The lion does not visit the lion.[(((((triple2) -> rule1)) -> rule6))]