The lion chases the squirrel. The lion is big. The lion is round. The lion likes the squirrel. The lion visits the squirrel. The squirrel is big. The squirrel likes the lion. If someone likes the lion then the lion is blue. If someone is rough then they are not big.
The squirrel does not visit the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is round.[(triple3)] The lion likes the squirrel.[(triple4)] The lion visits the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The lion is blue.[(((triple7) -> rule1))]