「「あの委託手数料は略取しないしさらに受け易くない」ということは偽だ」ということは事実である
fact1: とあるものが免許しないならばそれは採鉱であるかあるいはそれは高カロリーでない fact2: もし「このプロトン移動は受け易くないかもしくはそれは略取するかもしくは両方である」ということは誤りであるとしたらあの委託手数料はアメリカらしいということはない fact3: 仮に本当らしいものは農道・農業用排水路でないならそれは仕方無くない fact4: もしもあの小文字は受け易くないならば「「あの委託手数料は略取するがしかしそれは受け易くない」ということは事実と異なる」ということは正しい fact5: もしも「このプロトン移動はアメリカらしくないか熱っぽいかもしくは両方ともだ」ということは偽ならばあの小文字は受け易くない fact6: 全ては熱っぽくない fact7: あの委託手数料はうら若しない fact8: ＴＡでないかもしくはそれは驚愕するか両方であるという物はない fact9: もし仮にあの人使いは高カロリーであるとしたら「あの小文字は振りでないしかつ受け易くない」ということは嘘である fact10: もし仮に「あの小文字は受け易いということはない」ということは成り立てば「あの委託手数料は略取するということはなくて受け易くない」ということは成り立つということはない fact11: もし仮になにがしかの物は水環境であるとすれば「それはどうしても欲しくなくておまけに賛成し難くない」ということは偽である fact12: 仮にこの日本本土空襲は仕方無くないとすれば「それは免許するししかも落ち易い」ということは成り立たない fact13: この日本本土空襲は本当らしいが農道・農業用排水路でない fact14: もし仮に受け易いということはないものが高カロリーだということはないなら熱っぽくない fact15: 仮に「この日本本土空襲は免許するし落ち易い」ということは成り立たないとするとこの増減高は免許しない fact16: 「このプロトン移動は受け易い一方で熱っぽくない」ということは成り立たない fact17: それはアメリカらしくないか熱っぽいかまたはどちらもだというものはない fact18: 甚だしくないかあるいはピペットであるか両方ともであるという物はない fact19: うら若しということはないものがどうしても欲しいとすれば略取しない fact20: あの委託手数料は水環境である fact21: もしも「とある物はどうしても欲しくないしおまけに賛成し難くない」ということは間違いであるとすれば「それはどうしても欲しい」ということは成り立つ fact22: あの小文字は略取しない fact23: 仮に「あの小文字は振りでなくてそれに受け易くない」ということは事実と異なるならあの委託手数料は受け易くない
fact17 -> int1: 「「このプロトン移動はアメリカらしくないかまたはそれは熱っぽい」ということは成り立つということはない」ということは確かである; int1 & fact5 -> int2: あの小文字は受け易くない; int2 & fact10 -> hypothesis;
この乙社は熱っぽくない
fact24 -> int3: 仮にこの乙社は受け易いということはないし更に高カロリーだということはないなら熱っぽいということはない;
$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$ = 
fact17 -> int1: 「「このプロトン移動はアメリカらしくないかまたはそれは熱っぽい」ということは成り立つということはない」ということは確かである; int1 & fact5 -> int2: あの小文字は受け易くない; int2 & fact10 -> hypothesis; __PROVED__
事実1: とあるものが免許しないならばそれは採鉱であるかあるいはそれは高カロリーでない
事実2: もし「このプロトン移動は受け易くないかもしくはそれは略取するかもしくは両方である」ということは誤りであるとしたらあの委託手数料はアメリカらしいということはない
事実3: 仮に本当らしいものは農道・農業用排水路でないならそれは仕方無くない
事実4: もしもあの小文字は受け易くないならば「「あの委託手数料は略取するがしかしそれは受け易くない」ということは事実と異なる」ということは正しい
事実5: もしも「このプロトン移動はアメリカらしくないか熱っぽいかもしくは両方ともだ」ということは偽ならばあの小文字は受け易くない
事実6: 全ては熱っぽくない
事実7: あの委託手数料はうら若しない
事実8: ＴＡでないかもしくはそれは驚愕するか両方であるという物はない
事実9: もし仮にあの人使いは高カロリーであるとしたら「あの小文字は振りでないしかつ受け易くない」ということは嘘である
事実10: もし仮に「あの小文字は受け易いということはない」ということは成り立てば「あの委託手数料は略取するということはなくて受け易くない」ということは成り立つということはない
事実11: もし仮になにがしかの物は水環境であるとすれば「それはどうしても欲しくなくておまけに賛成し難くない」ということは偽である
事実12: 仮にこの日本本土空襲は仕方無くないとすれば「それは免許するししかも落ち易い」ということは成り立たない
事実13: この日本本土空襲は本当らしいが農道・農業用排水路でない
事実14: もし仮に受け易いということはないものが高カロリーだということはないなら熱っぽくない
事実15: 仮に「この日本本土空襲は免許するし落ち易い」ということは成り立たないとするとこの増減高は免許しない
事実16: 「このプロトン移動は受け易い一方で熱っぽくない」ということは成り立たない
事実17: それはアメリカらしくないか熱っぽいかまたはどちらもだというものはない
事実18: 甚だしくないかあるいはピペットであるか両方ともであるという物はない
事実19: うら若しということはないものがどうしても欲しいとすれば略取しない
事実20: あの委託手数料は水環境である
事実21: もしも「とある物はどうしても欲しくないしおまけに賛成し難くない」ということは間違いであるとすれば「それはどうしても欲しい」ということは成り立つ
事実22: あの小文字は略取しない
事実23: 仮に「あの小文字は振りでなくてそれに受け易くない」ということは事実と異なるならあの委託手数料は受け易くない

仮説: 「「あの委託手数料は略取しないしさらに受け易くない」ということは偽だ」ということは事実である
1. 事実17から、推論1: "「「このプロトン移動はアメリカらしくないかまたはそれは熱っぽい」ということは成り立つということはない」ということは確かである"が導かれる
2. 推論1と事実5から、推論2: "あの小文字は受け易くない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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