「この従価従量税品は利しないかもしくはそれは厚かましい」ということは偽だ
fact1: もし「作図オプションメニューである」ものはあるなら「その江戸幕府日記はデイトレードするしジョンソン政権である」ということは事実と異なる fact2: もしもこの従価従量税品が留守録であるしその上それが利すとすると参加し易くない fact3: もし仮にこのＮ科長が欲深いとすればあのフラッシュは満願だ fact4: もし仮に「「デイトレードするしジョンソン政権である」ということは偽な」物はあれば「この従価従量税品は厚かましくない」ということは成り立つ fact5: 「そのフラッシュは紛らわしくないけど輸送サービス業である」ということは誤っている fact6: もしとあるものは利さないならば「それは輸送サービス業でないが甘酸っぱい」ということは間違いである fact7: 仮にそのフラッシュが利すし留守録ならばこの前提事実は利さない fact8: もし参加し易い物はジョンソン政権であるということはないとすれば留守録でない fact9: この従価従量税品は参加し易い fact10: もしもそのフラッシュが輸送サービス業でないとすればこの従価従量税品は留守録である fact11: このＮ科長が脱皮しないとしたらそれはボイルするかもしくは欲深いかあるいは両方だ fact12: この従価従量税品は輸送サービス業である fact13: このＮ科長は脱皮しない fact14: この従価従量税品は抵抗反応である fact15: もし仮になんらかの物は留守録でないとすれば「利しないかもしくは厚かましいかあるいは両方である」ということは誤っている fact16: もしこのＮ科長がボイルすればそのフラッシュは満願である fact17: もしとあるものがデイトレードしないとするとそれは参加し易い一方でジョンソン政権でない fact18: あの御持て成しは参加し易い fact19: もしそのフラッシュは満願であるとするとそれは利す fact20: 仮に「そのフラッシュは紛らわしいということはない一方で輸送サービス業だ」ということは間違いならばこの従価従量税品は留守録だ fact21: 「この逮捕時は厚かましくない」ということは事実である fact22: 「このイメージ映像は作図オプションメニューである」ということは成り立つ
fact20 & fact5 -> int1: この従価従量税品は留守録だ; void -> assump1: 以下のように仮定する。この従価従量税品は利す; int1 & assump1 -> int2: この従価従量税品は留守録だし利す; int2 & fact2 -> int3: この従価従量税品は参加し易いということはない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: この従価従量税品は利すということはない; int5 -> hypothesis;
「この前提事実は輸送サービス業でない一方でそれは甘酸っぱい」ということは間違っている
fact29 -> int6: もしこの前提事実は利さないとすると「それは輸送サービス業でないししかも甘酸っぱい」ということは事実と異なる; fact28 & fact30 -> int7: このＮ科長はボイルするか欲深い; int7 & fact25 & fact23 -> int8: そのフラッシュは満願である; fact32 & int8 -> int9: そのフラッシュは利す; fact27 -> int10: 「作図オプションメニューである」物はある; int10 & fact31 -> int11: 「「その江戸幕府日記はデイトレードするしそれにジョンソン政権である」ということは成り立つ」ということは間違いだ; int11 -> int12: 「「デイトレードするししかもジョンソン政権だ」ということは成り立たない」物はある; int12 & fact26 -> int13: この従価従量税品は厚かましくない;
$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$ = 
fact20 & fact5 -> int1: この従価従量税品は留守録だ; void -> assump1: 以下のように仮定する。この従価従量税品は利す; int1 & assump1 -> int2: この従価従量税品は留守録だし利す; int2 & fact2 -> int3: この従価従量税品は参加し易いということはない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: この従価従量税品は利すということはない; int5 -> hypothesis; __DISPROVED__
事実1: もし「作図オプションメニューである」ものはあるなら「その江戸幕府日記はデイトレードするしジョンソン政権である」ということは事実と異なる
事実2: もしもこの従価従量税品が留守録であるしその上それが利すとすると参加し易くない
事実3: もし仮にこのＮ科長が欲深いとすればあのフラッシュは満願だ
事実4: もし仮に「「デイトレードするしジョンソン政権である」ということは偽な」物はあれば「この従価従量税品は厚かましくない」ということは成り立つ
事実5: 「そのフラッシュは紛らわしくないけど輸送サービス業である」ということは誤っている
事実6: もしとあるものは利さないならば「それは輸送サービス業でないが甘酸っぱい」ということは間違いである
事実7: 仮にそのフラッシュが利すし留守録ならばこの前提事実は利さない
事実8: もし参加し易い物はジョンソン政権であるということはないとすれば留守録でない
事実9: この従価従量税品は参加し易い
事実10: もしもそのフラッシュが輸送サービス業でないとすればこの従価従量税品は留守録である
事実11: このＮ科長が脱皮しないとしたらそれはボイルするかもしくは欲深いかあるいは両方だ
事実12: この従価従量税品は輸送サービス業である
事実13: このＮ科長は脱皮しない
事実14: この従価従量税品は抵抗反応である
事実15: もし仮になんらかの物は留守録でないとすれば「利しないかもしくは厚かましいかあるいは両方である」ということは誤っている
事実16: もしこのＮ科長がボイルすればそのフラッシュは満願である
事実17: もしとあるものがデイトレードしないとするとそれは参加し易い一方でジョンソン政権でない
事実18: あの御持て成しは参加し易い
事実19: もしそのフラッシュは満願であるとするとそれは利す
事実20: 仮に「そのフラッシュは紛らわしいということはない一方で輸送サービス業だ」ということは間違いならばこの従価従量税品は留守録だ
事実21: 「この逮捕時は厚かましくない」ということは事実である
事実22: 「このイメージ映像は作図オプションメニューである」ということは成り立つ

仮説: 「この従価従量税品は利しないかもしくはそれは厚かましい」ということは偽だ
1. 事実20と事実5から、推論1: "この従価従量税品は留守録だ"が導かれる
2. 仮定1: 以下のように仮定する。この従価従量税品は利す
3. 推論1と仮定1から、推論2: "この従価従量税品は留守録だし利す"が導かれる
4. 推論2と事実2から、推論3: "この従価従量税品は参加し易いということはない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この従価従量税品は利すということはない"が導かれる
7. 推論5から、仮説が否定される

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