The cat chases the tiger. The cow is green. The lion is round. The lion visits the cat. The tiger is red. The tiger is round. The tiger visits the cat. If the cat chases the tiger then the tiger chases the lion. If the cat visits the cow and the cat does not eat the lion then the lion chases the cat. If someone eats the lion then the lion eats the cow. If someone visits the lion then the lion is big. If someone chases the tiger and they visit the cat then they are big. If someone eats the cow then the cow is round. If someone eats the lion then the lion does not chase the cow. If someone chases the tiger then they visit the cat.
The lion is green.
@0: The cat chases the tiger.[(triple1)] The cow is green.[(triple2)] The lion is round.[(triple3)] The lion visits the cat.[(triple4)] The tiger is red.[(triple5)] The tiger is round.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat visits the cat.[(((triple1) -> rule8))] The tiger chases the lion.[(((triple1) -> rule1))] @2: The cat is big.[(((triple1 ((triple1) -> rule8)) -> rule5))]