「そのリムーバーは弱々しかない」ということは本当である
fact1: あの鮮魚店が崩れ易いならそれは美人度アップであるかそれは周辺分野でない fact2: もしも何らかのものが頼もしくないならばあのリムーバーは検討対象でないし御見掛けしない fact3: 与え難いものは崩れ易い fact4: もしなにがしかの物が頼もしくないし活性水素水でないならばそのリムーバーは弱々しかない fact5: あの線維束攣縮は与え難い fact6: 「美人度アップであるか周辺分野でないかまたはどちらもな」物があるならあの改革綱領は野砲でない fact7: 仮にあの線維束攣縮が崩れ易いとすればあの鮮魚店は崩れ易い fact8: そのガラス体膜が活性水素水でないならこの適合性評価は頼もしくない fact9: あらゆる物は与え難い fact10: 「なにがしかのものは活性水素水だということはないかまたはそれは弱々しいかもしくはどちらもである」ということは間違っていないとしたら弱々しい fact11: 仮に何らかの物は頼もしくないけど活性水素水だとすれば「そのリムーバーは弱々しかない」ということは成り立つ fact12: この御得意が過ごし易くないとしたらそのガラス体膜はレクチャーしない fact13: もし仮に「何らかの物はレクチャーしないけれど頼もしい」ということは成り立たないなら頼もしくない fact14: 「頼もしくない物は活性水素水でないかあるいは弱々しいか両方ともだ」ということは成り立つ fact15: 仮に何かは野砲だということはないならこの御得意は過ごし易くないかまたはそれは野砲でないかまたは両方だ fact16: 「なにがしかのものは活性水素水だけれど弱々しかない」ということは正しくないなら活性水素水でない fact17: 「もし仮にこの御得意が野砲でないならそのガラス体膜はレクチャーしない」ということは確かだ fact18: もしも「この適合性評価は崩れ易くないけどそれは周辺分野だ」ということは間違いであるならば美人度アップでない fact19: あの真実相は頼もしくないしさらに活性水素水でない fact20: 仮に「この適合性評価は野砲でないか過ごし易いかもしくは両方ともである」ということは偽ならそのリムーバーは過ごし易いということはない fact21: 仮にとあるものは与え難いとすると「それは崩れ易くない一方で周辺分野だ」ということは成り立つということはない fact22: 「この適合性評価は美人度アップでない」ということは成り立てば「それは野砲でないか過ごし易いかまたはどちらもである」ということは成り立たない
fact19 -> int1: 「頼もしくないし活性水素水でない」物はある; int1 & fact4 -> hypothesis;
fact19 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact4 -> hypothesis;
そのリムーバーは弱々しい
fact23 -> int2: 仮にそのリムーバーは活性水素水でないか弱々しいかもしくはどちらもであるならば「それは弱々しい」ということは真実だ; fact24 -> int3: そのリムーバーが頼もしくないとするとそれは活性水素水でないか弱々しい; fact30 -> int4: もし「そのリムーバーはレクチャーしないけど頼もしい」ということは成り立たないとしたらそれは頼もしいということはない; fact29 -> int5: もし仮にそのガラス体膜は与え難いならば「それは崩れ易くないがしかし周辺分野だ」ということは成り立たない; fact26 -> int6: そのガラス体膜は与え難い; int5 & int6 -> int7: 「そのガラス体膜は崩れ易くないがしかし周辺分野である」ということは成り立たない; int7 -> int8: それは崩れ易くなくて周辺分野であるというものはない; int8 -> int9: 「この適合性評価は崩れ易くないけど周辺分野だ」ということは成り立たない; int9 & fact27 -> int10: この適合性評価は美人度アップでない; fact25 & int10 -> int11: 「この適合性評価は野砲でないかそれは過ごし易いかまたは両方ともだ」ということは間違っている; fact28 & int11 -> int12: そのリムーバーは過ごし易くない;
$facts$ = fact1: あの鮮魚店が崩れ易いならそれは美人度アップであるかそれは周辺分野でない fact2: もしも何らかのものが頼もしくないならばあのリムーバーは検討対象でないし御見掛けしない fact3: 与え難いものは崩れ易い fact4: もしなにがしかの物が頼もしくないし活性水素水でないならばそのリムーバーは弱々しかない fact5: あの線維束攣縮は与え難い fact6: 「美人度アップであるか周辺分野でないかまたはどちらもな」物があるならあの改革綱領は野砲でない fact7: 仮にあの線維束攣縮が崩れ易いとすればあの鮮魚店は崩れ易い fact8: そのガラス体膜が活性水素水でないならこの適合性評価は頼もしくない fact9: あらゆる物は与え難い fact10: 「なにがしかのものは活性水素水だということはないかまたはそれは弱々しいかもしくはどちらもである」ということは間違っていないとしたら弱々しい fact11: 仮に何らかの物は頼もしくないけど活性水素水だとすれば「そのリムーバーは弱々しかない」ということは成り立つ fact12: この御得意が過ごし易くないとしたらそのガラス体膜はレクチャーしない fact13: もし仮に「何らかの物はレクチャーしないけれど頼もしい」ということは成り立たないなら頼もしくない fact14: 「頼もしくない物は活性水素水でないかあるいは弱々しいか両方ともだ」ということは成り立つ fact15: 仮に何かは野砲だということはないならこの御得意は過ごし易くないかまたはそれは野砲でないかまたは両方だ fact16: 「なにがしかのものは活性水素水だけれど弱々しかない」ということは正しくないなら活性水素水でない fact17: 「もし仮にこの御得意が野砲でないならそのガラス体膜はレクチャーしない」ということは確かだ fact18: もしも「この適合性評価は崩れ易くないけどそれは周辺分野だ」ということは間違いであるならば美人度アップでない fact19: あの真実相は頼もしくないしさらに活性水素水でない fact20: 仮に「この適合性評価は野砲でないか過ごし易いかもしくは両方ともである」ということは偽ならそのリムーバーは過ごし易いということはない fact21: 仮にとあるものは与え難いとすると「それは崩れ易くない一方で周辺分野だ」ということは成り立つということはない fact22: 「この適合性評価は美人度アップでない」ということは成り立てば「それは野砲でないか過ごし易いかまたはどちらもである」ということは成り立たない ; $hypothesis$ = 「そのリムーバーは弱々しかない」ということは本当である ; $proof$ = 
fact19 -> int1: 「頼もしくないし活性水素水でない」物はある; int1 & fact4 -> hypothesis; __PROVED__
事実1: あの鮮魚店が崩れ易いならそれは美人度アップであるかそれは周辺分野でない
事実2: もしも何らかのものが頼もしくないならばあのリムーバーは検討対象でないし御見掛けしない
事実3: 与え難いものは崩れ易い
事実4: もしなにがしかの物が頼もしくないし活性水素水でないならばそのリムーバーは弱々しかない
事実5: あの線維束攣縮は与え難い
事実6: 「美人度アップであるか周辺分野でないかまたはどちらもな」物があるならあの改革綱領は野砲でない
事実7: 仮にあの線維束攣縮が崩れ易いとすればあの鮮魚店は崩れ易い
事実8: そのガラス体膜が活性水素水でないならこの適合性評価は頼もしくない
事実9: あらゆる物は与え難い
事実10: 「なにがしかのものは活性水素水だということはないかまたはそれは弱々しいかもしくはどちらもである」ということは間違っていないとしたら弱々しい
事実11: 仮に何らかの物は頼もしくないけど活性水素水だとすれば「そのリムーバーは弱々しかない」ということは成り立つ
事実12: この御得意が過ごし易くないとしたらそのガラス体膜はレクチャーしない
事実13: もし仮に「何らかの物はレクチャーしないけれど頼もしい」ということは成り立たないなら頼もしくない
事実14: 「頼もしくない物は活性水素水でないかあるいは弱々しいか両方ともだ」ということは成り立つ
事実15: 仮に何かは野砲だということはないならこの御得意は過ごし易くないかまたはそれは野砲でないかまたは両方だ
事実16: 「なにがしかのものは活性水素水だけれど弱々しかない」ということは正しくないなら活性水素水でない
事実17: 「もし仮にこの御得意が野砲でないならそのガラス体膜はレクチャーしない」ということは確かだ
事実18: もしも「この適合性評価は崩れ易くないけどそれは周辺分野だ」ということは間違いであるならば美人度アップでない
事実19: あの真実相は頼もしくないしさらに活性水素水でない
事実20: 仮に「この適合性評価は野砲でないか過ごし易いかもしくは両方ともである」ということは偽ならそのリムーバーは過ごし易いということはない
事実21: 仮にとあるものは与え難いとすると「それは崩れ易くない一方で周辺分野だ」ということは成り立つということはない
事実22: 「この適合性評価は美人度アップでない」ということは成り立てば「それは野砲でないか過ごし易いかまたはどちらもである」ということは成り立たない

仮説: 「そのリムーバーは弱々しかない」ということは本当である
1. 事実19から、推論1: "「頼もしくないし活性水素水でない」物はある"が導かれる
2. 推論1と事実4から、仮説が導かれる

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