「このカード等証票は譲渡担保権者Ａでないがしかし示し易い」ということは間違いだ
fact1: 「この研究態度はスタートすか求まらない」ということは成り立たないとすればそれは断片化しない fact2: もしもあの愛国者達はしょっぱいなら「その身体各部は山登りであるが低域通過特性でない」ということは成り立たない fact3: もしある物は排出しないとしたら「食料不足でなくてそれにしこるということはない」ということは間違っている fact4: あの愛国者達は山登りであるとしたら「「その身体各部は示し易いししょっぱい」ということは成り立たない」ということは真実だ fact5: もしその身体各部はしょっぱいなら「あの愛国者達は低域通過特性であるし示し易い」ということは偽だ fact6: 仮に「あの愛国者達は食料不足でなくてその上しこらない」ということは間違いだとしたらこのカード等証票はしょっぱい fact7: その身体各部は示し易くないとしたら「このカード等証票は譲渡担保権者Ａであるし示し易い」ということは誤りだ fact8: 「あの愛国者達はしょっぱい」ということは誤っていない fact9: もし仮に「「このカード等証票は譲渡担保権者Ａだがしかし低域通過特性でない」ということは本当である」ということは成り立たないならそれは山登りでない fact10: その身体各部は示し易くないなら「このカード等証票は譲渡担保権者Ａでない一方でそれは示し易い」ということは嘘だ fact11: 「このカード等証票は示し易い物でありそれに山登りである」ということは偽だ fact12: もしもその貯蔵庫は男女同一賃金でないならば「その身体各部は排出するしおまけにそれは三十五年以上だ」ということは成り立たない fact13: 仮にその身体各部はしょっぱくないならば「「あの愛国者達は示し易くないがしかししょっぱい」ということは誤りである」ということは偽であるということはない fact14: しょっぱいものは譲渡担保権者Ａでないけれど示し易い fact15: 仮にこのカード等証票は山登りであるとしたら「変転しない」ということは真実である fact16: もしも「とあるものは雄略天皇であるしそれに断片化する」ということは間違っていれば男女同一賃金でない fact17: 「もし仮に「その身体各部が排出するしその上それは三十五年以上だ」ということは間違いだとすればあの愛国者達は排出しない」ということは成り立つ fact18: もし「「その身体各部は山登りだ一方で低域通過特性でない」ということは正しい」ということは偽であるとしたらそれは示し易くない fact19: 「その身体各部は山登りだし加えて低域通過特性である」ということは誤りだ
fact2 & fact8 -> int1: 「その身体各部は山登りで低域通過特性であるということはない」ということは事実と異なる; int1 & fact18 -> int2: その身体各部は示し易いということはない; int2 & fact10 -> hypothesis;
fact2 & fact8 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact18 -> int2: ¬{B}{b}; int2 & fact10 -> hypothesis;
このカード等証票は譲渡担保権者Ａだということはないがしかし示し易い
fact21 -> int3: もしこのカード等証票がしょっぱいとするとそれは譲渡担保権者Ａであるということはないしかつそれは示し易い; fact23 -> int4: 仮にあの愛国者達は排出しないならば「食料不足でないしまたしこらない」ということは嘘である; fact24 -> int5: もしも「その貯蔵庫は雄略天皇であるしその上断片化する」ということは真実でないとすると男女同一賃金でない;
$facts$ = fact1: 「この研究態度はスタートすか求まらない」ということは成り立たないとすればそれは断片化しない fact2: もしもあの愛国者達はしょっぱいなら「その身体各部は山登りであるが低域通過特性でない」ということは成り立たない fact3: もしある物は排出しないとしたら「食料不足でなくてそれにしこるということはない」ということは間違っている fact4: あの愛国者達は山登りであるとしたら「「その身体各部は示し易いししょっぱい」ということは成り立たない」ということは真実だ fact5: もしその身体各部はしょっぱいなら「あの愛国者達は低域通過特性であるし示し易い」ということは偽だ fact6: 仮に「あの愛国者達は食料不足でなくてその上しこらない」ということは間違いだとしたらこのカード等証票はしょっぱい fact7: その身体各部は示し易くないとしたら「このカード等証票は譲渡担保権者Ａであるし示し易い」ということは誤りだ fact8: 「あの愛国者達はしょっぱい」ということは誤っていない fact9: もし仮に「「このカード等証票は譲渡担保権者Ａだがしかし低域通過特性でない」ということは本当である」ということは成り立たないならそれは山登りでない fact10: その身体各部は示し易くないなら「このカード等証票は譲渡担保権者Ａでない一方でそれは示し易い」ということは嘘だ fact11: 「このカード等証票は示し易い物でありそれに山登りである」ということは偽だ fact12: もしもその貯蔵庫は男女同一賃金でないならば「その身体各部は排出するしおまけにそれは三十五年以上だ」ということは成り立たない fact13: 仮にその身体各部はしょっぱくないならば「「あの愛国者達は示し易くないがしかししょっぱい」ということは誤りである」ということは偽であるということはない fact14: しょっぱいものは譲渡担保権者Ａでないけれど示し易い fact15: 仮にこのカード等証票は山登りであるとしたら「変転しない」ということは真実である fact16: もしも「とあるものは雄略天皇であるしそれに断片化する」ということは間違っていれば男女同一賃金でない fact17: 「もし仮に「その身体各部が排出するしその上それは三十五年以上だ」ということは間違いだとすればあの愛国者達は排出しない」ということは成り立つ fact18: もし「「その身体各部は山登りだ一方で低域通過特性でない」ということは正しい」ということは偽であるとしたらそれは示し易くない fact19: 「その身体各部は山登りだし加えて低域通過特性である」ということは誤りだ ; $hypothesis$ = 「このカード等証票は譲渡担保権者Ａでないがしかし示し易い」ということは間違いだ ; $proof$ = 
fact2 & fact8 -> int1: 「その身体各部は山登りで低域通過特性であるということはない」ということは事実と異なる; int1 & fact18 -> int2: その身体各部は示し易いということはない; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「この研究態度はスタートすか求まらない」ということは成り立たないとすればそれは断片化しない
事実2: もしもあの愛国者達はしょっぱいなら「その身体各部は山登りであるが低域通過特性でない」ということは成り立たない
事実3: もしある物は排出しないとしたら「食料不足でなくてそれにしこるということはない」ということは間違っている
事実4: あの愛国者達は山登りであるとしたら「「その身体各部は示し易いししょっぱい」ということは成り立たない」ということは真実だ
事実5: もしその身体各部はしょっぱいなら「あの愛国者達は低域通過特性であるし示し易い」ということは偽だ
事実6: 仮に「あの愛国者達は食料不足でなくてその上しこらない」ということは間違いだとしたらこのカード等証票はしょっぱい
事実7: その身体各部は示し易くないとしたら「このカード等証票は譲渡担保権者Ａであるし示し易い」ということは誤りだ
事実8: 「あの愛国者達はしょっぱい」ということは誤っていない
事実9: もし仮に「「このカード等証票は譲渡担保権者Ａだがしかし低域通過特性でない」ということは本当である」ということは成り立たないならそれは山登りでない
事実10: その身体各部は示し易くないなら「このカード等証票は譲渡担保権者Ａでない一方でそれは示し易い」ということは嘘だ
事実11: 「このカード等証票は示し易い物でありそれに山登りである」ということは偽だ
事実12: もしもその貯蔵庫は男女同一賃金でないならば「その身体各部は排出するしおまけにそれは三十五年以上だ」ということは成り立たない
事実13: 仮にその身体各部はしょっぱくないならば「「あの愛国者達は示し易くないがしかししょっぱい」ということは誤りである」ということは偽であるということはない
事実14: しょっぱいものは譲渡担保権者Ａでないけれど示し易い
事実15: 仮にこのカード等証票は山登りであるとしたら「変転しない」ということは真実である
事実16: もしも「とあるものは雄略天皇であるしそれに断片化する」ということは間違っていれば男女同一賃金でない
事実17: 「もし仮に「その身体各部が排出するしその上それは三十五年以上だ」ということは間違いだとすればあの愛国者達は排出しない」ということは成り立つ
事実18: もし「「その身体各部は山登りだ一方で低域通過特性でない」ということは正しい」ということは偽であるとしたらそれは示し易くない
事実19: 「その身体各部は山登りだし加えて低域通過特性である」ということは誤りだ

仮説: 「このカード等証票は譲渡担保権者Ａでないがしかし示し易い」ということは間違いだ
1. 事実2と事実8から、推論1: "「その身体各部は山登りで低域通過特性であるということはない」ということは事実と異なる"が導かれる
2. 推論1と事実18から、推論2: "その身体各部は示し易いということはない"が導かれる
3. 推論2と事実10から、仮説が導かれる

よって、仮説が証明されました。