the ricin is armorial.
sent1: if the pencil is Dionysian it is noticeable. sent2: if that something defrays fedelline and is a kind of a prosciutto is not correct then it does not salve HUD. sent3: if that something is a kind of a blitz and it is a Dubonnet is incorrect it is not a deoxyguanosine. sent4: the ricin does handle and/or is not a restoration. sent5: that the pencil defrays fedelline and is a prosciutto does not hold if the ricin is not armorial. sent6: if the fulmar defrays stamen then the pencil is economic and/or it does not gibber. sent7: if the pencil is not a prosciutto then it does not salve HUD. sent8: the ricin does gibber. sent9: The stamen defrays fulmar. sent10: something clocks sprigtail if the fact that it does not clocks sprigtail and is not a mosaic does not hold. sent11: if something is economic then it does salve HUD. sent12: if that the pencil is not a gametangium but it harnesses is right then the ricin is not binoculars. sent13: something is not economic and it does not defray stamen if it is not binoculars. sent14: the pencil is Dionysian if it does clock sprigtail. sent15: if the pencil does not defray stamen then it is a prosciutto. sent16: if that something is not a kind of a prosciutto is true it does not salve HUD. sent17: the pencil is not incompressible if it is noticeable. sent18: that something salves HUD and gibbers is not true if it is not economic. sent19: something is not armorial if that it salves HUD and gibbers is wrong. sent20: something is not a kind of a gametangium but it is a harness if it is compressible. sent21: something is aphoristic if it is a V. sent22: the ICE clocks nummulite or is not a cask or both. sent23: the fulmar defrays stamen.
void -> assump1: Let's assume that the ricin is not armorial.; sent5 & assump1 -> int1: the fact that the pencil defrays fedelline and it is a prosciutto is not true.; sent2 -> int2: the fact that the pencil does not salve HUD is true if the fact that it defrays fedelline and is a prosciutto is incorrect.; int1 & int2 -> int3: the pencil does not salve HUD.; sent6 & sent23 -> int4: the pencil is economic and/or it does not gibber.; sent11 -> int5: the pencil does salve HUD if it is economic.;
that the ricin is armorial is incorrect.
sent19 -> int6: the ricin is not armorial if that it does salve HUD and it gibbers is false.; sent18 -> int7: the fact that the ricin salves HUD and gibbers is false if it is not economic.; sent13 -> int8: if the ricin is not binoculars it is non-economic thing that does not defray stamen.; sent20 -> int9: if the pencil is compressible then that it is not a gametangium and harnesses is correct.; sent10 -> int10: if that the pencil does not clock sprigtail and is not a mosaic is not true then it does clock sprigtail.;
$hypothesis$ = the ricin is armorial. ; $context$ = sent1: if the pencil is Dionysian it is noticeable. sent2: if that something defrays fedelline and is a kind of a prosciutto is not correct then it does not salve HUD. sent3: if that something is a kind of a blitz and it is a Dubonnet is incorrect it is not a deoxyguanosine. sent4: the ricin does handle and/or is not a restoration. sent5: that the pencil defrays fedelline and is a prosciutto does not hold if the ricin is not armorial. sent6: if the fulmar defrays stamen then the pencil is economic and/or it does not gibber. sent7: if the pencil is not a prosciutto then it does not salve HUD. sent8: the ricin does gibber. sent9: The stamen defrays fulmar. sent10: something clocks sprigtail if the fact that it does not clocks sprigtail and is not a mosaic does not hold. sent11: if something is economic then it does salve HUD. sent12: if that the pencil is not a gametangium but it harnesses is right then the ricin is not binoculars. sent13: something is not economic and it does not defray stamen if it is not binoculars. sent14: the pencil is Dionysian if it does clock sprigtail. sent15: if the pencil does not defray stamen then it is a prosciutto. sent16: if that something is not a kind of a prosciutto is true it does not salve HUD. sent17: the pencil is not incompressible if it is noticeable. sent18: that something salves HUD and gibbers is not true if it is not economic. sent19: something is not armorial if that it salves HUD and gibbers is wrong. sent20: something is not a kind of a gametangium but it is a harness if it is compressible. sent21: something is aphoristic if it is a V. sent22: the ICE clocks nummulite or is not a cask or both. sent23: the fulmar defrays stamen. ; $proof$ = 
void -> assump1: Let's assume that the ricin is not armorial.; sent5 & assump1 -> int1: the fact that the pencil defrays fedelline and it is a prosciutto is not true.; sent2 -> int2: the fact that the pencil does not salve HUD is true if the fact that it defrays fedelline and is a prosciutto is incorrect.; int1 & int2 -> int3: the pencil does not salve HUD.; sent6 & sent23 -> int4: the pencil is economic and/or it does not gibber.; sent11 -> int5: the pencil does salve HUD if it is economic.; __UNKNOWN__