The cat is big. The lion is nice. The squirrel sees the lion. If someone likes the cat then they eat the cat. If someone likes the cat and the cat likes the lion then they eat the cat. If someone likes the cat and they are not green then they do not eat the squirrel. If someone sees the squirrel and they are green then they like the squirrel. If the cat eats the lion then the lion sees the cat. If someone eats the squirrel and the squirrel eats the lion then they do not see the squirrel. If someone sees the lion then they see the cat. If someone eats the squirrel and they eat the cat then they see the lion.
The lion is nice.
@0: The cat is big.[(triple1)] The lion is nice.[(triple2)] The squirrel sees the lion.[(triple3)] @1: The squirrel sees the cat.[(((triple3) -> rule7))]