The lion is nice. The lion is red. The squirrel chases the tiger. The squirrel likes the lion. The tiger chases the squirrel. The tiger likes the lion. The tiger sees the lion. If someone likes the lion then they see the lion. If the squirrel chases the lion and the squirrel sees the tiger then the squirrel chases the tiger. If someone sees the tiger then they see the squirrel. If someone chases the squirrel and they chase the lion then the squirrel is nice. If someone sees the squirrel and they are blue then they chase the tiger. If someone is young and nice then they chase the lion. If someone likes the tiger and the tiger is nice then they like the squirrel. If someone is nice then they see the tiger.
The lion sees the squirrel.
@0: The lion is nice.[(triple1)] The lion is red.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel likes the lion.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger likes the lion.[(triple6)] The tiger sees the lion.[(triple7 OR ((triple6) -> rule1))] @1: The lion sees the tiger.[(((triple1) -> rule8))] The squirrel sees the lion.[(((triple4) -> rule1))] @2: The lion sees the squirrel.[(((((triple1) -> rule8)) -> rule3))]