the thunderbolt caucuses razorblade.
sent1: if something is not a Praetorian it is a kind of a Rhexia and does caucus razorblade. sent2: the thunderbolt does not admeasure SSRI but it does admeasure paranoid. sent3: the thunderbolt is not a Praetorian if it admeasures SSRI and does admeasure paranoid. sent4: the razorblade is promotional and unmalicious if it is not a accentor. sent5: the razorblade is not a kind of a accentor if the minster is side-to-side and is a kind of a accentor. sent6: the minster is side-to-side. sent7: if the thunderbolt does not admeasure SSRI but it admeasures paranoid then it is not a Praetorian.
sent1 -> int1: that the thunderbolt is a kind of a Rhexia and it caucuses razorblade is true if it is not a kind of a Praetorian.; sent7 & sent2 -> int2: the thunderbolt is not a Praetorian.; int1 & int2 -> int3: the thunderbolt is a Rhexia and does caucus razorblade.; int3 -> hypothesis;
the razorblade is promotional and it is a Praetorian.
$hypothesis$ = the thunderbolt caucuses razorblade. ; $context$ = sent1: if something is not a Praetorian it is a kind of a Rhexia and does caucus razorblade. sent2: the thunderbolt does not admeasure SSRI but it does admeasure paranoid. sent3: the thunderbolt is not a Praetorian if it admeasures SSRI and does admeasure paranoid. sent4: the razorblade is promotional and unmalicious if it is not a accentor. sent5: the razorblade is not a kind of a accentor if the minster is side-to-side and is a kind of a accentor. sent6: the minster is side-to-side. sent7: if the thunderbolt does not admeasure SSRI but it admeasures paranoid then it is not a Praetorian. ; $proof$ = 
sent1 -> int1: that the thunderbolt is a kind of a Rhexia and it caucuses razorblade is true if it is not a kind of a Praetorian.; sent7 & sent2 -> int2: the thunderbolt is not a Praetorian.; int1 & int2 -> int3: the thunderbolt is a Rhexia and does caucus razorblade.; int3 -> hypothesis; __PROVED__