The squirrel is rough. Nice, big people are round. If someone is blue then they are big. All rough, round people are big. If the squirrel is big and the squirrel is rough then the squirrel is blue. If the squirrel is round and the squirrel is nice then the squirrel is rough. Rough people are big. If the squirrel is round and the squirrel is blue then the squirrel is nice. If the squirrel is round and the squirrel is nice then the squirrel is rough.
The squirrel is rough.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule6))] @2: The squirrel is blue.[(((((triple1) -> rule6) triple1) -> rule4))]