「その五秒キープはしおらしいかまたはそれはミスリードする」ということは成り立たない
fact1: もしも「その五秒キープは長期債だけど発現し易くない」ということは成り立たないとするとあの来歴はしおらしい fact2: もしなにかは電信柱でないとしたらそれは受け継がない fact3: もしその新暦は受け継がないなら「あの来歴は射精しないがしかしそれは増え難い」ということは偽だ fact4: もし仮にとある物は弾劾しないとすれば「それはしおらしいかそれはミスリードする」ということは事実と異なる fact5: なにかは弾劾するとすればミスリードする fact6: 「あの追加投資は十九世紀後半であるかあるいはそれははきはきしないかどちらもである」ということは嘘であるとしたらその去留ははきはきする fact7: 「あの来歴は発現し易い一方で長期債でない」ということは成り立たない fact8: 「あのシステムリソースはボランティア活動等でなくてかつ電信柱でない」ということは正しいとするとその新暦は電信柱でない fact9: もしもなんらかのものは共和薬品でないとすれば「十九世紀後半であるかそれははきはきするということはないかまたは両方ともである」ということは誤りである fact10: あの来歴は薄過ぎるかまたはそれは狙い難い fact11: もし「あの上告人は築造時期であるけど幼いということはない」ということは誤りならば「あの追加投資は共和薬品でない」ということは成り立つ fact12: もしもその去留がはきはきするならあのシステムリソースはボランティア活動等でないしそれは電信柱でない fact13: 「あの来歴は発現し易いししかもそれは長期債である」ということは本当でない fact14: 幼くない築造時期はない fact15: 「あの来歴は発現し易いがしかしそれは長期債だということはない」ということは成り立たないとしたらその五秒キープは弾劾する fact16: あの来歴が長期債であるならばあの五秒キープは弾劾する
fact15 & fact7 -> int1: その五秒キープは弾劾する; fact5 -> int2: 仮にその五秒キープが弾劾するならそれはミスリードする; int1 & int2 -> int3: その五秒キープはミスリードする; int3 -> hypothesis;
fact15 & fact7 -> int1: {B}{b}; fact5 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; int3 -> hypothesis;
「その五秒キープはしおらしいかミスリードするかもしくはどちらもである」ということは成り立たない
fact22 -> int4: もしもその五秒キープは弾劾するということはないならば「しおらしいかあるいはミスリードするかあるいは両方である」ということは成り立たない; fact17 -> int5: 「その新暦は電信柱でない」ということは成り立てばそれは受け継がない; fact19 -> int6: もし「あの追加投資は共和薬品でない」ということは本当だとすると「それは十九世紀後半であるかもしくははきはきしないかあるいは両方だ」ということは成り立たない; fact18 -> int7: 「あの上告人は築造時期だけど幼くない」ということは間違いだ; fact24 & int7 -> int8: あの追加投資は共和薬品でない; int6 & int8 -> int9: 「あの追加投資は十九世紀後半であるかあるいはそれははきはきしないかあるいは両方ともである」ということは嘘である; fact25 & int9 -> int10: その去留ははきはきする; fact20 & int10 -> int11: あのシステムリソースはボランティア活動等でなくてそれは電信柱でない; fact23 & int11 -> int12: その新暦は電信柱でない; int5 & int12 -> int13: その新暦は受け継がない; fact21 & int13 -> int14: 「あの来歴は射精しないけどそれは増え難い」ということは成り立たない; int14 -> int15: 「「「射精するということはなくて増え難い」ということは正しい」ということは成り立たない」ものはある;
$facts$ = fact1: もしも「その五秒キープは長期債だけど発現し易くない」ということは成り立たないとするとあの来歴はしおらしい fact2: もしなにかは電信柱でないとしたらそれは受け継がない fact3: もしその新暦は受け継がないなら「あの来歴は射精しないがしかしそれは増え難い」ということは偽だ fact4: もし仮にとある物は弾劾しないとすれば「それはしおらしいかそれはミスリードする」ということは事実と異なる fact5: なにかは弾劾するとすればミスリードする fact6: 「あの追加投資は十九世紀後半であるかあるいはそれははきはきしないかどちらもである」ということは嘘であるとしたらその去留ははきはきする fact7: 「あの来歴は発現し易い一方で長期債でない」ということは成り立たない fact8: 「あのシステムリソースはボランティア活動等でなくてかつ電信柱でない」ということは正しいとするとその新暦は電信柱でない fact9: もしもなんらかのものは共和薬品でないとすれば「十九世紀後半であるかそれははきはきするということはないかまたは両方ともである」ということは誤りである fact10: あの来歴は薄過ぎるかまたはそれは狙い難い fact11: もし「あの上告人は築造時期であるけど幼いということはない」ということは誤りならば「あの追加投資は共和薬品でない」ということは成り立つ fact12: もしもその去留がはきはきするならあのシステムリソースはボランティア活動等でないしそれは電信柱でない fact13: 「あの来歴は発現し易いししかもそれは長期債である」ということは本当でない fact14: 幼くない築造時期はない fact15: 「あの来歴は発現し易いがしかしそれは長期債だということはない」ということは成り立たないとしたらその五秒キープは弾劾する fact16: あの来歴が長期債であるならばあの五秒キープは弾劾する ; $hypothesis$ = 「その五秒キープはしおらしいかまたはそれはミスリードする」ということは成り立たない ; $proof$ = 
fact15 & fact7 -> int1: その五秒キープは弾劾する; fact5 -> int2: 仮にその五秒キープが弾劾するならそれはミスリードする; int1 & int2 -> int3: その五秒キープはミスリードする; int3 -> hypothesis; __DISPROVED__
事実1: もしも「その五秒キープは長期債だけど発現し易くない」ということは成り立たないとするとあの来歴はしおらしい
事実2: もしなにかは電信柱でないとしたらそれは受け継がない
事実3: もしその新暦は受け継がないなら「あの来歴は射精しないがしかしそれは増え難い」ということは偽だ
事実4: もし仮にとある物は弾劾しないとすれば「それはしおらしいかそれはミスリードする」ということは事実と異なる
事実5: なにかは弾劾するとすればミスリードする
事実6: 「あの追加投資は十九世紀後半であるかあるいはそれははきはきしないかどちらもである」ということは嘘であるとしたらその去留ははきはきする
事実7: 「あの来歴は発現し易い一方で長期債でない」ということは成り立たない
事実8: 「あのシステムリソースはボランティア活動等でなくてかつ電信柱でない」ということは正しいとするとその新暦は電信柱でない
事実9: もしもなんらかのものは共和薬品でないとすれば「十九世紀後半であるかそれははきはきするということはないかまたは両方ともである」ということは誤りである
事実10: あの来歴は薄過ぎるかまたはそれは狙い難い
事実11: もし「あの上告人は築造時期であるけど幼いということはない」ということは誤りならば「あの追加投資は共和薬品でない」ということは成り立つ
事実12: もしもその去留がはきはきするならあのシステムリソースはボランティア活動等でないしそれは電信柱でない
事実13: 「あの来歴は発現し易いししかもそれは長期債である」ということは本当でない
事実14: 幼くない築造時期はない
事実15: 「あの来歴は発現し易いがしかしそれは長期債だということはない」ということは成り立たないとしたらその五秒キープは弾劾する
事実16: あの来歴が長期債であるならばあの五秒キープは弾劾する

仮説: 「その五秒キープはしおらしいかまたはそれはミスリードする」ということは成り立たない
1. 事実15と事実7から、推論1: "その五秒キープは弾劾する"が導かれる
2. 事実5から、推論2: "仮にその五秒キープが弾劾するならそれはミスリードする"が導かれる
3. 推論1と推論2から、推論3: "その五秒キープはミスリードする"が導かれる
4. 推論3から、仮説が否定される

よって、仮説が否定されました。