that the sapphirine is a kind of a precedent that elutes planning is not true.
sent1: the polychrome does not loom Silurus. sent2: something that is a might-have-been and not apogamic is not a kind of a colonic. sent3: if there exists something such that that it is a might-have-been and it is not apogamic is false then the numberplate does not elute planning. sent4: The Silurus does not loom polychrome. sent5: if the hardinggrass is not a colonic then the lavaliere is a kind of a cloistered that is not a kind of a vandal. sent6: something is biosynthetic if that it is not biosynthetic and it does elute Grotius is false. sent7: if the lavaliere cloisters but it is not a kind of a vandal the polychrome is not biosynthetic. sent8: if the numberplate does not elute planning then that the sapphirine is a precedent and it elute planning is false.
sent2 -> int1: if the hardinggrass is a might-have-been but not apogamic then it is not colonic.; void -> assump1: Let's assume that the hardinggrass is a might-have-been and is not apogamic.; int1 & assump1 -> int2: the hardinggrass is not colonic.; int2 & sent5 -> int3: the lavaliere is both a cloistered and not a vandal.; int3 & sent7 -> int4: the polychrome is not biosynthetic.; sent6 -> int5: if that the polychrome is a kind of non-biosynthetic thing that does elute Grotius is not true then it is biosynthetic.;
$hypothesis$ = that the sapphirine is a kind of a precedent that elutes planning is not true. ; $context$ = sent1: the polychrome does not loom Silurus. sent2: something that is a might-have-been and not apogamic is not a kind of a colonic. sent3: if there exists something such that that it is a might-have-been and it is not apogamic is false then the numberplate does not elute planning. sent4: The Silurus does not loom polychrome. sent5: if the hardinggrass is not a colonic then the lavaliere is a kind of a cloistered that is not a kind of a vandal. sent6: something is biosynthetic if that it is not biosynthetic and it does elute Grotius is false. sent7: if the lavaliere cloisters but it is not a kind of a vandal the polychrome is not biosynthetic. sent8: if the numberplate does not elute planning then that the sapphirine is a precedent and it elute planning is false. ; $proof$ = 
sent2 -> int1: if the hardinggrass is a might-have-been but not apogamic then it is not colonic.; void -> assump1: Let's assume that the hardinggrass is a might-have-been and is not apogamic.; int1 & assump1 -> int2: the hardinggrass is not colonic.; int2 & sent5 -> int3: the lavaliere is both a cloistered and not a vandal.; int3 & sent7 -> int4: the polychrome is not biosynthetic.; sent6 -> int5: if that the polychrome is a kind of non-biosynthetic thing that does elute Grotius is not true then it is biosynthetic.; __UNKNOWN__