その出来方は無稽だということはない
fact1: あのＴワンは吹き易い fact2: その大々王は云々する fact3: 「あのＴワンは罹り易くない」ということは成り立てばその出来方は無稽だしその上物欲しい fact4: もし仮に「罹り易くない」物があるとするとあのＴワンは吹き易い fact5: 「針先であるかもしくは云々しないかあるいは両方である」物はある fact6: あのホストＡは針先でない fact7: 仮に「針先な」物があるならばあのＴワンは針先だ fact8: その出来方は吹き易いしまたいじらしい fact9: その大々王はまー呉れる fact10: もしも「あのＴワンは無稽であるしかつ罹り易い」ということは成り立てばその出来方は吹き易くない fact11: その大々王は吹き易い fact12: その訓練コースは物欲しい fact13: もしその出来方が荒稼ぎしないとすればあのＴワンは無稽であるし罹り易い fact14: 何かは殺人集団であるかまたは成立過程でないかまたは両方ともであるとしたらあのＴワンは殺人集団だ fact15: この孤児はフェラチオするしそれは無稽である fact16: その出来方は荒稼ぎする fact17: もし仮に「針先であるか云々するということはないかまたはどちらもである」ものがあるとしたらあのＴワンは針先である fact18: あのＴワンは性分らしい fact19: あのＴワンは物欲しい fact20: あのＴワンが罹り易いならば荒稼ぎする fact21: もしとある物が罹り易いか物欲しかないとしたらあのＴワンは罹り易い fact22: その出来方は物欲しいし荒稼ぎする fact23: 仮にその出来方が荒稼ぎするしまたそれが罹り易いとするとあのＴワンは無稽でない fact24: 仮に「あのＴワンは針先であるし荒稼ぎする」ということは成り立つとすればあの大々王は吹き易くない fact25: 仮に「罹り易くない」ものがあるならその大々王は羨ましい
void -> assump1: 以下のように仮定する。あのＴワンは罹り易い; fact20 & assump1 -> int1: あのＴワンは荒稼ぎする; fact17 & fact5 -> int2: あのＴワンは針先である; int1 & int2 -> int3: あのＴワンは針先でそれは荒稼ぎする; int3 & fact24 -> int4: その大々王は吹き易くない; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのＴワンは罹り易くない; int6 & fact3 -> int7: その出来方は無稽であるし物欲しい; int7 -> hypothesis;
$facts$ = fact1: あのＴワンは吹き易い fact2: その大々王は云々する fact3: 「あのＴワンは罹り易くない」ということは成り立てばその出来方は無稽だしその上物欲しい fact4: もし仮に「罹り易くない」物があるとするとあのＴワンは吹き易い fact5: 「針先であるかもしくは云々しないかあるいは両方である」物はある fact6: あのホストＡは針先でない fact7: 仮に「針先な」物があるならばあのＴワンは針先だ fact8: その出来方は吹き易いしまたいじらしい fact9: その大々王はまー呉れる fact10: もしも「あのＴワンは無稽であるしかつ罹り易い」ということは成り立てばその出来方は吹き易くない fact11: その大々王は吹き易い fact12: その訓練コースは物欲しい fact13: もしその出来方が荒稼ぎしないとすればあのＴワンは無稽であるし罹り易い fact14: 何かは殺人集団であるかまたは成立過程でないかまたは両方ともであるとしたらあのＴワンは殺人集団だ fact15: この孤児はフェラチオするしそれは無稽である fact16: その出来方は荒稼ぎする fact17: もし仮に「針先であるか云々するということはないかまたはどちらもである」ものがあるとしたらあのＴワンは針先である fact18: あのＴワンは性分らしい fact19: あのＴワンは物欲しい fact20: あのＴワンが罹り易いならば荒稼ぎする fact21: もしとある物が罹り易いか物欲しかないとしたらあのＴワンは罹り易い fact22: その出来方は物欲しいし荒稼ぎする fact23: 仮にその出来方が荒稼ぎするしまたそれが罹り易いとするとあのＴワンは無稽でない fact24: 仮に「あのＴワンは針先であるし荒稼ぎする」ということは成り立つとすればあの大々王は吹き易くない fact25: 仮に「罹り易くない」ものがあるならその大々王は羨ましい ; $hypothesis$ = その出来方は無稽だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＴワンは罹り易い; fact20 & assump1 -> int1: あのＴワンは荒稼ぎする; fact17 & fact5 -> int2: あのＴワンは針先である; int1 & int2 -> int3: あのＴワンは針先でそれは荒稼ぎする; int3 & fact24 -> int4: その大々王は吹き易くない; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのＴワンは罹り易くない; int6 & fact3 -> int7: その出来方は無稽であるし物欲しい; int7 -> hypothesis; __DISPROVED__
事実1: あのＴワンは吹き易い
事実2: その大々王は云々する
事実3: 「あのＴワンは罹り易くない」ということは成り立てばその出来方は無稽だしその上物欲しい
事実4: もし仮に「罹り易くない」物があるとするとあのＴワンは吹き易い
事実5: 「針先であるかもしくは云々しないかあるいは両方である」物はある
事実6: あのホストＡは針先でない
事実7: 仮に「針先な」物があるならばあのＴワンは針先だ
事実8: その出来方は吹き易いしまたいじらしい
事実9: その大々王はまー呉れる
事実10: もしも「あのＴワンは無稽であるしかつ罹り易い」ということは成り立てばその出来方は吹き易くない
事実11: その大々王は吹き易い
事実12: その訓練コースは物欲しい
事実13: もしその出来方が荒稼ぎしないとすればあのＴワンは無稽であるし罹り易い
事実14: 何かは殺人集団であるかまたは成立過程でないかまたは両方ともであるとしたらあのＴワンは殺人集団だ
事実15: この孤児はフェラチオするしそれは無稽である
事実16: その出来方は荒稼ぎする
事実17: もし仮に「針先であるか云々するということはないかまたはどちらもである」ものがあるとしたらあのＴワンは針先である
事実18: あのＴワンは性分らしい
事実19: あのＴワンは物欲しい
事実20: あのＴワンが罹り易いならば荒稼ぎする
事実21: もしとある物が罹り易いか物欲しかないとしたらあのＴワンは罹り易い
事実22: その出来方は物欲しいし荒稼ぎする
事実23: 仮にその出来方が荒稼ぎするしまたそれが罹り易いとするとあのＴワンは無稽でない
事実24: 仮に「あのＴワンは針先であるし荒稼ぎする」ということは成り立つとすればあの大々王は吹き易くない
事実25: 仮に「罹り易くない」ものがあるならその大々王は羨ましい

仮説: その出来方は無稽だということはない
1. 仮定1: 以下のように仮定する。あのＴワンは罹り易い
2. 事実20と仮定1から、推論1: "あのＴワンは荒稼ぎする"が導かれる
3. 事実17と事実5から、推論2: "あのＴワンは針先である"が導かれる
4. 推論1と推論2から、推論3: "あのＴワンは針先でそれは荒稼ぎする"が導かれる
5. 推論3と事実24から、推論4: "その大々王は吹き易くない"が導かれる
6. 推論4と事実11から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのＴワンは罹り易くない"が導かれる
8. 推論6と事実3から、推論7: "その出来方は無稽であるし物欲しい"が導かれる
9. 推論7から、仮説が否定される

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