The cat chases the lion. The cat likes the lion. The cat visits the lion. The lion chases the cat. The lion is round. The lion likes the cat. The lion visits the cat. If the cat chases the lion and the lion visits the cat then the cat is round. If the lion likes the cat and the lion visits the cat then the cat likes the lion. If something chases the lion then it chases the cat. If something is big then it likes the lion. If something likes the lion then the lion is round. If something is big then it likes the lion. If something chases the lion then the lion visits the cat. If something chases the cat then it visits the cat.
The lion does not visit the cat.
@0: The cat chases the lion.[(triple1)] The cat likes the lion.[(triple2 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple1) -> rule7)) -> rule2) OR ((triple6 ((triple4) -> rule8)) -> rule2))] The cat visits the lion.[(triple3)] The lion chases the cat.[(triple4)] The lion is round.[(triple5 OR ((triple2) -> rule5) OR ((((triple6 triple7) -> rule2)) -> rule5) OR ((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((triple6 ((triple4) -> rule8)) -> rule2)) -> rule5))] The lion likes the cat.[(triple6)] The lion visits the cat.[(triple7 OR ((triple1) -> rule7) OR ((triple4) -> rule8))] @1: The cat chases the cat.[(((triple1) -> rule3))] The cat is round.[(((triple1 triple7) -> rule1) OR ((triple1 ((triple1) -> rule7)) -> rule1) OR ((triple1 ((triple4) -> rule8)) -> rule1))] @2: The cat visits the cat.[(((((triple1) -> rule3)) -> rule8))]