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