The cat chases the tiger. The cat eats the tiger. The cat is big. The lion chases the cat. The lion chases the tiger. The lion eats the tiger. The lion is red. The lion is young. The rabbit chases the cat. The rabbit is red. The rabbit is rough. The tiger chases the lion. If something visits the rabbit then it chases the cat. If something chases the cat and it visits the cat then the cat chases the lion. If the rabbit is young then the rabbit visits the tiger. If something chases the tiger then the tiger visits the lion. If something visits the lion then the lion visits the cat. If something eats the rabbit then it visits the cat. If something visits the lion then it is young. If something visits the cat then it is young.
The rabbit does not visit the cat.
@0: The cat chases the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the tiger.[(triple5)] The lion eats the tiger.[(triple6)] The lion is red.[(triple7)] The lion is young.[(triple8 OR ((((((triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple5) -> rule4)) -> rule5)) -> rule8))] The rabbit chases the cat.[(triple9)] The rabbit is red.[(triple10)] The rabbit is rough.[(triple11)] The tiger chases the lion.[(triple12)] @1: The tiger visits the lion.[(((triple1) -> rule4) OR ((triple5) -> rule4))] @2: The lion visits the cat.[(((((triple1) -> rule4)) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] The tiger is young.[(((((triple1) -> rule4)) -> rule7) OR ((((triple5) -> rule4)) -> rule7))] @3: The cat chases the lion.[(((triple4 ((((triple1) -> rule4)) -> rule5)) -> rule2) OR ((triple4 ((((triple5) -> rule4)) -> rule5)) -> rule2))]