The lion is blue. The lion is young. The rabbit chases the tiger. The rabbit is cold. The rabbit is rough. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel visits the lion. The tiger chases the rabbit. The tiger is blue. The tiger needs the rabbit. The tiger visits the rabbit. If the squirrel chases the rabbit and the squirrel is blue then the squirrel needs the lion. If the rabbit chases the tiger and the tiger needs the squirrel then the tiger is young. If the tiger visits the lion then the lion is nice. If something needs the squirrel then the squirrel is rough. If something is rough then it needs the squirrel. If the rabbit needs the squirrel and the squirrel chases the tiger then the rabbit is blue.
The squirrel is not rough.
@0: The lion is blue.[(triple1)] The lion is young.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is rough.[(triple5)] The squirrel needs the rabbit.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the lion.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is blue.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The rabbit needs the squirrel.[(((triple5) -> rule5))] @2: The squirrel is rough.[(((((triple5) -> rule5)) -> rule4))] @3: The squirrel needs the squirrel.[(((((((triple5) -> rule5)) -> rule4)) -> rule5))]