the putz is not biblical.
sent1: there exists something such that it is a kind of an array. sent2: the amphibian is a Scot. sent3: if there exists something such that it is biblical and is a kind of an array then the violin is not worldly. sent4: the Voltaren is extrinsic. sent5: if something is worldly the fact that it is both not extrinsic and an array is not correct. sent6: the carbine gazumps and it is worldly. sent7: if the putz is non-biblical but it is extrinsic the amphibian is not a kind of an array. sent8: if something is extrinsic it is biblical. sent9: the putz is not worldly if the violin is not biblical. sent10: the trumpeter is a pipsissewa and is a circular if there is something such that that it is not prismatic is not false. sent11: if the violin is not worldly the fact that the amphibian is not a kind of a Scot is not incorrect. sent12: there exists something such that it is not prismatic. sent13: the amphibian coheres Platanistidae. sent14: the putz is not extrinsic. sent15: the putz is both not extrinsic and an array. sent16: the putz is biblical if the violin is biblical. sent17: the amphibian is not a flash-forward if that the megatherian is not ammonitic or equitable or both is not right. sent18: the violin is both worldly and a Scot if the amphibian is not a flash-forward. sent19: the violin does cohere citronwood and it is a metacarpal. sent20: something is biblical. sent21: the amphibian is worldly. sent22: the tourtiere is biblical.
sent15 -> int1: the putz is an array.; void -> assump1: Let's assume that the putz is biblical.; int1 & assump1 -> int2: the putz is biblical and it is an array.; int2 -> int3: there is something such that it is biblical and it is an array.; int3 & sent3 -> int4: the violin is not worldly.; int4 & sent11 -> int5: the amphibian is not a Scot.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the fact that the putz is biblical hold.
sent8 -> int7: the violin is biblical if it is not non-extrinsic.; sent5 -> int8: the fact that the violin is not extrinsic but it is an array is not right if it is worldly.; sent12 & sent10 -> int9: the trumpeter is a pipsissewa and it is a circular.; int9 -> int10: the trumpeter is a pipsissewa.; int10 -> int11: there exists something such that it is a kind of a pipsissewa.;
$hypothesis$ = the putz is not biblical. ; $context$ = sent1: there exists something such that it is a kind of an array. sent2: the amphibian is a Scot. sent3: if there exists something such that it is biblical and is a kind of an array then the violin is not worldly. sent4: the Voltaren is extrinsic. sent5: if something is worldly the fact that it is both not extrinsic and an array is not correct. sent6: the carbine gazumps and it is worldly. sent7: if the putz is non-biblical but it is extrinsic the amphibian is not a kind of an array. sent8: if something is extrinsic it is biblical. sent9: the putz is not worldly if the violin is not biblical. sent10: the trumpeter is a pipsissewa and is a circular if there is something such that that it is not prismatic is not false. sent11: if the violin is not worldly the fact that the amphibian is not a kind of a Scot is not incorrect. sent12: there exists something such that it is not prismatic. sent13: the amphibian coheres Platanistidae. sent14: the putz is not extrinsic. sent15: the putz is both not extrinsic and an array. sent16: the putz is biblical if the violin is biblical. sent17: the amphibian is not a flash-forward if that the megatherian is not ammonitic or equitable or both is not right. sent18: the violin is both worldly and a Scot if the amphibian is not a flash-forward. sent19: the violin does cohere citronwood and it is a metacarpal. sent20: something is biblical. sent21: the amphibian is worldly. sent22: the tourtiere is biblical. ; $proof$ = 
sent15 -> int1: the putz is an array.; void -> assump1: Let's assume that the putz is biblical.; int1 & assump1 -> int2: the putz is biblical and it is an array.; int2 -> int3: there is something such that it is biblical and it is an array.; int3 & sent3 -> int4: the violin is not worldly.; int4 & sent11 -> int5: the amphibian is not a Scot.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__