「あの米英軍は印象付けないかあるいは喜であるかもしくは両方だ」ということは成り立たない
fact1: その鮃は実用的効果でない fact2: もしあの米英軍が喜でないならその餅玉は印象付けるかまたは粉っぽいということはないかあるいは両方ともだ fact3: 仮に「粉っぽい」ものがあるならあの米英軍は喜でない fact4: もし仮に何かは工事するならそれは押し易い fact5: 「なにがしかのものは粉っぽい」ということは事実である fact6: もしも何かは踏ん付けないとすると単離するし痛い fact7: もし仮になにがしかのものは印象付けるかまたは粉っぽくないかあるいはどちらもだとするとそれは粉っぽくない fact8: 仮にその鮃は実用的効果でないなら「振り掛けであるしさらに踏ん付ける」ということは嘘だ fact9: もし「なんらかの物は寸断するということはないが静止する」ということは間違いだとすると粉っぽくない fact10: もし仮に「何らかのものは胡散臭いけれど甚だしない」ということは確かであるということはないとすると入力容量だ fact11: もしも何らかの物が単離するなら甲斐甲斐しかなくて加えてうら若くない fact12: もしその三者は甲斐甲斐しかないしその上うら若くないとしたらこの法律等はうら若くない fact13: 仮に何らかの物は入力容量であるならそれは独り暮らしするということはなくて加えて湿潤しない fact14: もし仮にとある物が独り暮らししないし更に湿潤しないならばそれは工事する fact15: 「仮に何かは粉っぽくないなら「それはエヌワイＵでないかまたはそれは日中韓であるかあるいはどちらもだ」ということは成り立たない」ということは成り立つ fact16: もしも何かは押し易いとすれば「それは寸断しないしまた静止する」ということは偽だ fact17: あの米英軍は喜でない fact18: もしも「粉っぽい」物はあれば「あの米英軍は印象付けないかそれは喜であるかもしくは両方である」ということは誤っている fact19: もしもこの法律等はうら若いということはないならば「その履板は胡散臭い一方でそれは甚だしない」ということは成り立たない fact20: 「この分化段階は使用上でないかそれは寸断するかまたは両方である」ということは成り立たない fact21: 「「振り掛けであるし加えて踏ん付ける」ということは間違いな」ものがあるとしたらその三者は踏ん付けない
fact5 & fact18 -> hypothesis;
fact5 & fact18 -> hypothesis;
あの米英軍は印象付けないかまたは喜である
fact32 -> int1: もし仮に「その履板は寸断しないけど静止する」ということは成り立たないとすると粉っぽいということはない; fact25 -> int2: その履板は押し易いならば「寸断しない一方で静止する」ということは成り立たない; fact27 -> int3: その履板は工事するとすれば「押し易い」ということは成り立つ; fact33 -> int4: もしもその履板が独り暮らししないしさらに湿潤しないとしたら「工事しない」ということは事実であるということはない; fact23 -> int5: 仮にその履板は入力容量であるとすると独り暮らしするということはなくて湿潤しない; fact34 -> int6: 仮に「その履板は胡散臭いがしかし甚だしない」ということは嘘だとすると入力容量だ; fact26 -> int7: 仮にその三者が単離するならそれは甲斐甲斐しかなくておまけにうら若いということはない; fact30 -> int8: もし仮にその三者が踏ん付けないとすると単離するししかもそれは痛い; fact22 & fact24 -> int9: 「その鮃が振り掛けだしかつ踏ん付ける」ということは成り立たない; int9 -> int10: 「「「振り掛けであるし踏ん付ける」ということは事実だ」ということは成り立たない」物はある; int10 & fact28 -> int11: その三者は踏ん付けるということはない; int8 & int11 -> int12: その三者は単離するしそれに痛い; int12 -> int13: その三者は単離する; int7 & int13 -> int14: その三者は甲斐甲斐しかないし更にうら若くない; fact31 & int14 -> int15: この法律等はうら若いということはない; fact29 & int15 -> int16: 「その履板は胡散臭いがしかし甚だしない」ということは間違いだ; int6 & int16 -> int17: その履板は入力容量である; int5 & int17 -> int18: その履板は独り暮らししなくて湿潤しない; int4 & int18 -> int19: その履板は工事する; int3 & int19 -> int20: その履板は押し易い; int2 & int20 -> int21: 「「その履板は寸断しない一方で静止する」ということは成り立たない」ということは成り立つ; int1 & int21 -> int22: その履板は粉っぽくない; int22 -> int23: 粉っぽくないものはある;
$facts$ = fact1: その鮃は実用的効果でない fact2: もしあの米英軍が喜でないならその餅玉は印象付けるかまたは粉っぽいということはないかあるいは両方ともだ fact3: 仮に「粉っぽい」ものがあるならあの米英軍は喜でない fact4: もし仮に何かは工事するならそれは押し易い fact5: 「なにがしかのものは粉っぽい」ということは事実である fact6: もしも何かは踏ん付けないとすると単離するし痛い fact7: もし仮になにがしかのものは印象付けるかまたは粉っぽくないかあるいはどちらもだとするとそれは粉っぽくない fact8: 仮にその鮃は実用的効果でないなら「振り掛けであるしさらに踏ん付ける」ということは嘘だ fact9: もし「なんらかの物は寸断するということはないが静止する」ということは間違いだとすると粉っぽくない fact10: もし仮に「何らかのものは胡散臭いけれど甚だしない」ということは確かであるということはないとすると入力容量だ fact11: もしも何らかの物が単離するなら甲斐甲斐しかなくて加えてうら若くない fact12: もしその三者は甲斐甲斐しかないしその上うら若くないとしたらこの法律等はうら若くない fact13: 仮に何らかの物は入力容量であるならそれは独り暮らしするということはなくて加えて湿潤しない fact14: もし仮にとある物が独り暮らししないし更に湿潤しないならばそれは工事する fact15: 「仮に何かは粉っぽくないなら「それはエヌワイＵでないかまたはそれは日中韓であるかあるいはどちらもだ」ということは成り立たない」ということは成り立つ fact16: もしも何かは押し易いとすれば「それは寸断しないしまた静止する」ということは偽だ fact17: あの米英軍は喜でない fact18: もしも「粉っぽい」物はあれば「あの米英軍は印象付けないかそれは喜であるかもしくは両方である」ということは誤っている fact19: もしもこの法律等はうら若いということはないならば「その履板は胡散臭い一方でそれは甚だしない」ということは成り立たない fact20: 「この分化段階は使用上でないかそれは寸断するかまたは両方である」ということは成り立たない fact21: 「「振り掛けであるし加えて踏ん付ける」ということは間違いな」ものがあるとしたらその三者は踏ん付けない ; $hypothesis$ = 「あの米英軍は印象付けないかあるいは喜であるかもしくは両方だ」ということは成り立たない ; $proof$ = 
fact5 & fact18 -> hypothesis; __PROVED__
事実1: その鮃は実用的効果でない
事実2: もしあの米英軍が喜でないならその餅玉は印象付けるかまたは粉っぽいということはないかあるいは両方ともだ
事実3: 仮に「粉っぽい」ものがあるならあの米英軍は喜でない
事実4: もし仮に何かは工事するならそれは押し易い
事実5: 「なにがしかのものは粉っぽい」ということは事実である
事実6: もしも何かは踏ん付けないとすると単離するし痛い
事実7: もし仮になにがしかのものは印象付けるかまたは粉っぽくないかあるいはどちらもだとするとそれは粉っぽくない
事実8: 仮にその鮃は実用的効果でないなら「振り掛けであるしさらに踏ん付ける」ということは嘘だ
事実9: もし「なんらかの物は寸断するということはないが静止する」ということは間違いだとすると粉っぽくない
事実10: もし仮に「何らかのものは胡散臭いけれど甚だしない」ということは確かであるということはないとすると入力容量だ
事実11: もしも何らかの物が単離するなら甲斐甲斐しかなくて加えてうら若くない
事実12: もしその三者は甲斐甲斐しかないしその上うら若くないとしたらこの法律等はうら若くない
事実13: 仮に何らかの物は入力容量であるならそれは独り暮らしするということはなくて加えて湿潤しない
事実14: もし仮にとある物が独り暮らししないし更に湿潤しないならばそれは工事する
事実15: 「仮に何かは粉っぽくないなら「それはエヌワイＵでないかまたはそれは日中韓であるかあるいはどちらもだ」ということは成り立たない」ということは成り立つ
事実16: もしも何かは押し易いとすれば「それは寸断しないしまた静止する」ということは偽だ
事実17: あの米英軍は喜でない
事実18: もしも「粉っぽい」物はあれば「あの米英軍は印象付けないかそれは喜であるかもしくは両方である」ということは誤っている
事実19: もしもこの法律等はうら若いということはないならば「その履板は胡散臭い一方でそれは甚だしない」ということは成り立たない
事実20: 「この分化段階は使用上でないかそれは寸断するかまたは両方である」ということは成り立たない
事実21: 「「振り掛けであるし加えて踏ん付ける」ということは間違いな」ものがあるとしたらその三者は踏ん付けない

仮説: 「あの米英軍は印象付けないかあるいは喜であるかもしくは両方だ」ということは成り立たない
1. 事実5と事実18から、仮説が導かれる

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