The bear chases the cat. The cat sees the bear. The lion is green. The tiger is cold. If something chases the bear and the bear sees the tiger then the tiger eats the bear. If something chases the cat then it eats the lion. If the cat sees the bear then the bear chases the cat. If something is red and it chases the lion then it sees the lion. If something chases the lion then it chases the tiger. If something eats the tiger and it is red then it eats the lion. If something is green and it sees the lion then it is big. If something sees the cat then the cat is red.
The cat eats the cat.
@0: The bear chases the cat.[(triple1 OR ((triple2) -> rule3))] The cat sees the bear.[(triple2)] The lion is green.[(triple3)] The tiger is cold.[(triple4)] @1: The bear eats the lion.[(((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2))]