「その堪忍袋は口喧しい」ということは正しい
fact1: 仮にその堪忍袋が単位幅だとすればそれは三拍でないかもしくはそれは失えるかあるいはどちらもだ fact2: 仮にこの政府保証は利用され易いなら「それは狙われ易いということはないかまたはそれは三拍であるかもしくは両方ともである」ということは成り立つ fact3: もし仮に「なにかは心許なくない」ということは事実であるとすると「それは保険料であるけど通行量でない」ということは成り立たない fact4: とある物がレコード化するとすると重苦しい fact5: その市場レートは単位幅だ fact6: もし仮にその仮名入力が口喧しいとすればその堪忍袋は口喧しい fact7: もしもこのアンデス社会が内容証明郵便でないとすれば旨くない fact8: もし仮にこのアンデス社会が嬉しくないしさらに読み継がないとするとそれは心許ないということはない fact9: もし何かは旨くないとすると「それは辛くないしおまけにそれは宮廷楽長でない」ということは事実と異なる fact10: もしなんらかの物が食い荒らさないとしたらそれは単位幅であるかもしくは口喧しい fact11: このアンデス社会は書体である fact12: 辛い物はレコード化する fact13: もしもこのアンデス社会が設備投資税制だがそれが食い荒らさないならばこの外れは食い荒らさない fact14: 重苦しいものは設備投資税制だけど食い荒らすということはない fact15: もしこのアンデス社会が書体なら嬉しくないし加えてそれは読み継がない fact16: もしも「何らかの物は辛くないし加えて宮廷楽長でない」ということは偽だとすれば辛い fact17: その堪忍袋は単位幅である fact18: もし仮に「このアンデス社会は保険料だけど通行量でない」ということは間違っていれば内容証明郵便でない fact19: ある物が三拍でないか失えるとしたら口喧しくない fact20: その堪忍袋は心許なくない fact21: もし仮に「この外れは単位幅である」ということは確かであるならば「その仮名入力は口喧しい」ということは成り立つ fact22: もしも何らかの物は三拍でないとすると口喧しくない fact23: その堪忍袋は三拍であるかそれは失える
fact1 & fact17 -> int1: その堪忍袋は三拍でないかあるいはそれは失える; fact19 -> int2: もしもその堪忍袋が三拍でないかそれは失えるかもしくはどちらもだとしたら「口喧しいということはない」ということは事実と異ならない; int1 & int2 -> hypothesis;
fact1 & fact17 -> int1: (¬{AA}{a} v {AB}{a}); fact19 -> int2: (¬{AA}{a} v {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
その堪忍袋は口喧しい
fact28 -> int3: もし仮にこの外れが食い荒らさないとするとそれは単位幅であるかもしくはそれは口喧しいかもしくは両方ともだ; fact26 -> int4: もしもこのアンデス社会が重苦しいとしたらそれが設備投資税制だしそれに食い荒らすということはない; fact27 -> int5: もしもこのアンデス社会がレコード化すれば重苦しい; fact38 -> int6: もしもこのアンデス社会が辛いとしたらレコード化する; fact29 -> int7: もし「このアンデス社会は辛くないし宮廷楽長でない」ということは事実と異なればそれは辛い; fact30 -> int8: 仮にこのアンデス社会は旨くないなら「それは辛いということはないし更に宮廷楽長だということはない」ということは間違っている; fact25 -> int9: 「このアンデス社会は心許ないということはない」ということは成り立つとすれば「保険料であるしそれは通行量だということはない」ということは真実でない; fact37 & fact32 -> int10: 「このアンデス社会は嬉しくないし読み継がない」ということは確かだ; fact33 & int10 -> int11: このアンデス社会は心許なくない; int9 & int11 -> int12: 「このアンデス社会は保険料である一方でそれは通行量だということはない」ということは間違いである; fact24 & int12 -> int13: このアンデス社会は内容証明郵便でない; fact35 & int13 -> int14: このアンデス社会は旨くない; int8 & int14 -> int15: 「このアンデス社会は辛くないし宮廷楽長でない」ということは間違っている; int7 & int15 -> int16: このアンデス社会は辛い; int6 & int16 -> int17: このアンデス社会はレコード化する; int5 & int17 -> int18: このアンデス社会は重苦しい; int4 & int18 -> int19: このアンデス社会は設備投資税制であるが食い荒らさない; fact36 & int19 -> int20: この外れは食い荒らすということはない; int3 & int20 -> int21: この外れは単位幅であるか口喧しいかまたはどちらもである;
$facts$ = fact1: 仮にその堪忍袋が単位幅だとすればそれは三拍でないかもしくはそれは失えるかあるいはどちらもだ fact2: 仮にこの政府保証は利用され易いなら「それは狙われ易いということはないかまたはそれは三拍であるかもしくは両方ともである」ということは成り立つ fact3: もし仮に「なにかは心許なくない」ということは事実であるとすると「それは保険料であるけど通行量でない」ということは成り立たない fact4: とある物がレコード化するとすると重苦しい fact5: その市場レートは単位幅だ fact6: もし仮にその仮名入力が口喧しいとすればその堪忍袋は口喧しい fact7: もしもこのアンデス社会が内容証明郵便でないとすれば旨くない fact8: もし仮にこのアンデス社会が嬉しくないしさらに読み継がないとするとそれは心許ないということはない fact9: もし何かは旨くないとすると「それは辛くないしおまけにそれは宮廷楽長でない」ということは事実と異なる fact10: もしなんらかの物が食い荒らさないとしたらそれは単位幅であるかもしくは口喧しい fact11: このアンデス社会は書体である fact12: 辛い物はレコード化する fact13: もしもこのアンデス社会が設備投資税制だがそれが食い荒らさないならばこの外れは食い荒らさない fact14: 重苦しいものは設備投資税制だけど食い荒らすということはない fact15: もしこのアンデス社会が書体なら嬉しくないし加えてそれは読み継がない fact16: もしも「何らかの物は辛くないし加えて宮廷楽長でない」ということは偽だとすれば辛い fact17: その堪忍袋は単位幅である fact18: もし仮に「このアンデス社会は保険料だけど通行量でない」ということは間違っていれば内容証明郵便でない fact19: ある物が三拍でないか失えるとしたら口喧しくない fact20: その堪忍袋は心許なくない fact21: もし仮に「この外れは単位幅である」ということは確かであるならば「その仮名入力は口喧しい」ということは成り立つ fact22: もしも何らかの物は三拍でないとすると口喧しくない fact23: その堪忍袋は三拍であるかそれは失える ; $hypothesis$ = 「その堪忍袋は口喧しい」ということは正しい ; $proof$ = 
fact1 & fact17 -> int1: その堪忍袋は三拍でないかあるいはそれは失える; fact19 -> int2: もしもその堪忍袋が三拍でないかそれは失えるかもしくはどちらもだとしたら「口喧しいということはない」ということは事実と異ならない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその堪忍袋が単位幅だとすればそれは三拍でないかもしくはそれは失えるかあるいはどちらもだ
事実2: 仮にこの政府保証は利用され易いなら「それは狙われ易いということはないかまたはそれは三拍であるかもしくは両方ともである」ということは成り立つ
事実3: もし仮に「なにかは心許なくない」ということは事実であるとすると「それは保険料であるけど通行量でない」ということは成り立たない
事実4: とある物がレコード化するとすると重苦しい
事実5: その市場レートは単位幅だ
事実6: もし仮にその仮名入力が口喧しいとすればその堪忍袋は口喧しい
事実7: もしもこのアンデス社会が内容証明郵便でないとすれば旨くない
事実8: もし仮にこのアンデス社会が嬉しくないしさらに読み継がないとするとそれは心許ないということはない
事実9: もし何かは旨くないとすると「それは辛くないしおまけにそれは宮廷楽長でない」ということは事実と異なる
事実10: もしなんらかの物が食い荒らさないとしたらそれは単位幅であるかもしくは口喧しい
事実11: このアンデス社会は書体である
事実12: 辛い物はレコード化する
事実13: もしもこのアンデス社会が設備投資税制だがそれが食い荒らさないならばこの外れは食い荒らさない
事実14: 重苦しいものは設備投資税制だけど食い荒らすということはない
事実15: もしこのアンデス社会が書体なら嬉しくないし加えてそれは読み継がない
事実16: もしも「何らかの物は辛くないし加えて宮廷楽長でない」ということは偽だとすれば辛い
事実17: その堪忍袋は単位幅である
事実18: もし仮に「このアンデス社会は保険料だけど通行量でない」ということは間違っていれば内容証明郵便でない
事実19: ある物が三拍でないか失えるとしたら口喧しくない
事実20: その堪忍袋は心許なくない
事実21: もし仮に「この外れは単位幅である」ということは確かであるならば「その仮名入力は口喧しい」ということは成り立つ
事実22: もしも何らかの物は三拍でないとすると口喧しくない
事実23: その堪忍袋は三拍であるかそれは失える

仮説: 「その堪忍袋は口喧しい」ということは正しい
1. 事実1と事実17から、推論1: "その堪忍袋は三拍でないかあるいはそれは失える"が導かれる
2. 事実19から、推論2: "もしもその堪忍袋が三拍でないかそれは失えるかもしくはどちらもだとしたら「口喧しいということはない」ということは事実と異ならない"が導かれる
3. 推論1と推論2から、仮説が否定される

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