The cat chases the lion. The cat eats the lion. The cat visits the cow. The cat visits the tiger. The cow eats the tiger. The cow visits the cat. The lion is cold. The lion visits the cat. The tiger chases the lion. The tiger eats the cat. The tiger is red. The tiger visits the cat. If something eats the cow then it visits the lion. If something visits the cat and the cat is cold then it visits the lion. If something eats the cat then it visits the cat. If something eats the cat then the cat is cold. If something is nice and it chases the cow then it visits the cat. If something chases the lion then the lion is nice.
The cat does not chase the lion.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat visits the cow.[(triple3)] The cat visits the tiger.[(triple4)] The cow eats the tiger.[(triple5)] The cow visits the cat.[(triple6)] The lion is cold.[(triple7)] The lion visits the cat.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is red.[(triple11)] The tiger visits the cat.[(triple12 OR ((triple10) -> rule3))] @1: The cat is cold.[(((triple10) -> rule4))] The lion is nice.[(((triple1) -> rule6) OR ((triple9) -> rule6))] @2: The cow visits the lion.[(((triple6 ((triple10) -> rule4)) -> rule2))] The lion visits the lion.[(((triple8 ((triple10) -> rule4)) -> rule2))] The tiger visits the lion.[(((triple12 ((triple10) -> rule4)) -> rule2) OR ((((triple10) -> rule3) ((triple10) -> rule4)) -> rule2))]