The lion is round. The rabbit is cold. The squirrel sees the lion. If someone visits the rabbit then the rabbit is big. If someone is blue then they see the lion. If someone visits the squirrel then the squirrel eats the rabbit. If someone is nice then they are blue. If someone sees the lion then the lion is nice. If someone sees the squirrel and they are nice then they visit the squirrel. If someone sees the rabbit and the rabbit sees the squirrel then the rabbit sees the lion. If someone visits the squirrel and the squirrel visits the rabbit then they eat the rabbit.
The squirrel does not eat the rabbit.
@0: The lion is round.[(triple1)] The rabbit is cold.[(triple2)] The squirrel sees the lion.[(triple3)] @1: The lion is nice.[(((triple3) -> rule5))] @2: The lion is blue.[(((((triple3) -> rule5)) -> rule4))] @3: The lion sees the lion.[(((((((triple3) -> rule5)) -> rule4)) -> rule2))]