「この保護手段は紹介するかもしくはそれは由々しかもしくは両方である」ということは誤りだ
fact1: もしある物が熱いなら由々し fact2: 仮にその文字チャットが派遣労働でないとすればこの山登りは派遣労働である fact3: もしこの山登りはバブル経済期でないとすると「この保護手段は小走りするかあるいは変形制だということはないか両方だ」ということは成り立たない fact4: この山登りはバブル経済期でない fact5: 「この幸運は正当化し得るかまたはそれは紹介しないかもしくは両方ともである」ということは成り立たない fact6: 仮にこの山登りは変形制でないなら「この保護手段はバブル経済期であるか熱くないかもしくは両方である」ということは成り立たない fact7: この保護手段は小走りしない fact8: 仮になにかは粉っぽくないとすれば「それは水臭くないけど皮肉めく」ということは事実と異なる fact9: もしもその文字チャットは間違え易いけど装置しないとすると派遣労働でない fact10: もし仮に「この山登りは出来る出来るか蔑視しないか両方だ」ということは成り立たないならばそれは開き切る fact11: もしも「あるものは小走りするか変形制でない」ということは成り立たないとすると「それは熱い」ということは成り立つ fact12: もしなんらかのものはリークしないなら「それは粉っぽくない」ということは成り立つ fact13: 仮にこの山登りは派遣労働であるとしたら辻々であるかもしくはリークしない fact14: もし「この山登りはバブル経済期でない」ということは成り立てばこの保護手段は小走りしない fact15: もしも何かは辻々ならば粉っぽくない fact16: もしも何かはフライドでないとしたらそれはバブル経済期でなくてそれは熱いということはない fact17: その文字チャットは装置しない fact18: もしなんらかの物はバブル経済期でないならば「それは紹介するかあるいはそれは由々しかどちらもである」ということは偽だ fact19: 「この編集画面は口利きであるかもしくは思しないか両方である」ということは間違いである fact20: この山登りは補題であるか受け入れ易いか両方ともである fact21: その文字チャットは書き直すし間違え易い
fact3 & fact4 -> int1: 「この保護手段は小走りするかまたは変形制でないかあるいは両方ともだ」ということは成り立たない; fact11 -> int2: 仮に「この保護手段は小走りするかもしくは変形制でないかもしくは両方だ」ということは誤りだとすると熱い; int1 & int2 -> int3: この保護手段は熱い; fact1 -> int4: もし仮にこの保護手段が熱いとするとそれは由々し; int3 & int4 -> int5: この保護手段は由々し; int5 -> hypothesis;
「この保護手段は紹介するかあるいは由々し」ということは事実であるということはない
fact28 -> int6: もしこの保護手段はバブル経済期でないとすると「それは紹介するかまたはそれは由々しかあるいは両方である」ということは嘘だ; fact26 -> int7: 仮にこの保護手段がフライドでないならばそれはバブル経済期だということはなくてそれは熱くない; fact25 -> int8: もしこの山登りは粉っぽくないとしたら「水臭くないし皮肉めく」ということは誤りだ; fact22 -> int9: その文字チャットは間違え易い; int9 & fact31 -> int10: その文字チャットは間違え易いがしかしそれは装置しない; fact29 & int10 -> int11: その文字チャットは派遣労働でない; fact30 & int11 -> int12: この山登りは派遣労働である; fact27 & int12 -> int13: この山登りは辻々であるかまたはリークするということはないかもしくは両方だ; fact23 -> int14: もし仮にこの山登りが辻々なら粉っぽいということはない; fact24 -> int15: もし仮にこの山登りがリークしないならば粉っぽいということはない; int13 & int14 & int15 -> int16: この山登りは粉っぽくない; int8 & int16 -> int17: 「この山登りは水臭くないが皮肉めく」ということは事実と異なる; int17 -> int18: 「「水臭くないけど皮肉めく」ということは事実と異なる」物はある;
$facts$ = fact1: もしある物が熱いなら由々し fact2: 仮にその文字チャットが派遣労働でないとすればこの山登りは派遣労働である fact3: もしこの山登りはバブル経済期でないとすると「この保護手段は小走りするかあるいは変形制だということはないか両方だ」ということは成り立たない fact4: この山登りはバブル経済期でない fact5: 「この幸運は正当化し得るかまたはそれは紹介しないかもしくは両方ともである」ということは成り立たない fact6: 仮にこの山登りは変形制でないなら「この保護手段はバブル経済期であるか熱くないかもしくは両方である」ということは成り立たない fact7: この保護手段は小走りしない fact8: 仮になにかは粉っぽくないとすれば「それは水臭くないけど皮肉めく」ということは事実と異なる fact9: もしもその文字チャットは間違え易いけど装置しないとすると派遣労働でない fact10: もし仮に「この山登りは出来る出来るか蔑視しないか両方だ」ということは成り立たないならばそれは開き切る fact11: もしも「あるものは小走りするか変形制でない」ということは成り立たないとすると「それは熱い」ということは成り立つ fact12: もしなんらかのものはリークしないなら「それは粉っぽくない」ということは成り立つ fact13: 仮にこの山登りは派遣労働であるとしたら辻々であるかもしくはリークしない fact14: もし「この山登りはバブル経済期でない」ということは成り立てばこの保護手段は小走りしない fact15: もしも何かは辻々ならば粉っぽくない fact16: もしも何かはフライドでないとしたらそれはバブル経済期でなくてそれは熱いということはない fact17: その文字チャットは装置しない fact18: もしなんらかの物はバブル経済期でないならば「それは紹介するかあるいはそれは由々しかどちらもである」ということは偽だ fact19: 「この編集画面は口利きであるかもしくは思しないか両方である」ということは間違いである fact20: この山登りは補題であるか受け入れ易いか両方ともである fact21: その文字チャットは書き直すし間違え易い ; $hypothesis$ = 「この保護手段は紹介するかもしくはそれは由々しかもしくは両方である」ということは誤りだ ; $proof$ = 
fact3 & fact4 -> int1: 「この保護手段は小走りするかまたは変形制でないかあるいは両方ともだ」ということは成り立たない; fact11 -> int2: 仮に「この保護手段は小走りするかもしくは変形制でないかもしくは両方だ」ということは誤りだとすると熱い; int1 & int2 -> int3: この保護手段は熱い; fact1 -> int4: もし仮にこの保護手段が熱いとするとそれは由々し; int3 & 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: その文字チャットは書き直すし間違え易い

仮説: 「この保護手段は紹介するかもしくはそれは由々しかもしくは両方である」ということは誤りだ
1. 事実3と事実4から、推論1: "「この保護手段は小走りするかまたは変形制でないかあるいは両方ともだ」ということは成り立たない"が導かれる
2. 事実11から、推論2: "仮に「この保護手段は小走りするかもしくは変形制でないかもしくは両方だ」ということは誤りだとすると熱い"が導かれる
3. 推論1と推論2から、推論3: "この保護手段は熱い"が導かれる
4. 事実1から、推論4: "もし仮にこの保護手段が熱いとするとそれは由々し"が導かれる
5. 推論3と推論4から、推論5: "この保護手段は由々し"が導かれる
6. 推論5から、仮説が否定される

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