The cow does not chase the lion. The cow does not eat the lion. The cow is red. The cow is round. The cow visits the lion. The lion chases the cow. The lion eats the cow. The lion is big. The lion is red. The lion visits the cow. If something visits the cow and the cow does not eat the lion then the lion is round. If something eats the lion then the lion is not round. If something chases the cow and it visits the lion then the cow is young. If something is big then it visits the lion. If something chases the lion and the lion chases the cow then it does not chase the cow. If something chases the lion and the lion eats the cow then the lion does not visit the cow. If something chases the cow and it visits the lion then the cow is nice. All young things are big.
The cow eats the cow.
@0: The cow does not chase the lion.[(triple1)] The cow does not eat the lion.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow visits the lion.[(triple5 OR ((((((triple6 ((triple8) -> rule4)) -> rule3)) -> rule8)) -> rule4))] The lion chases the cow.[(triple6)] The lion eats the cow.[(triple7)] The lion is big.[(triple8)] The lion is red.[(triple9)] The lion visits the cow.[(triple10)] @1: The lion is round.[(((triple10 triple2) -> rule1))] The lion visits the lion.[(((triple8) -> rule4))] @2: The cow is nice.[(((triple6 ((triple8) -> rule4)) -> rule7))] The cow is young.[(((triple6 ((triple8) -> rule4)) -> rule3))] @3: The cow is big.[(((((triple6 ((triple8) -> rule4)) -> rule3)) -> rule8))]