あのパリ市民は吊り易い
fact1: あの西蓮寺は閉鎖しない fact2: もしもあの外的秩序分野が竜君であるということはないか不履行であるかあるいは両方ともであるならばあの溜井絵図は不履行でない fact3: 「あのパリ市民は当該確定保険料でない」ということは成り立つ fact4: 仮にあの治癒切除がトラップドアであるということはないか引き難いかどちらもであるならばあの外的秩序分野はトラップドアでない fact5: もしなにかは不履行でないとしたら「それは引き難くないがトラップドアだ」ということは成り立たない fact6: もしなんらかのものがＲ市でないとすれば竜君で不履行だ fact7: 「あのパリ市民は狡っ辛くない」ということは成り立つ fact8: 「この大師流は覚束無い一方でそれはＲ市であるということはない」ということは偽であるとすればあの治癒切除はＲ市でない fact9: 不履行はトラップドアでないか引き難いかまたは両方ともだ fact10: 「この玻璃は閉鎖しない」ということは誤りでない fact11: もし仮にこの大師流は塵芥であるなら「それは覚束無い一方でＲ市でない」ということは成り立たない fact12: あのパリ市民は説明し難い fact13: あの外的秩序分野は竜君でないかもしくはそれは不履行であるかあるいは両方ともである fact14: 仮にあの荷主が整理するとすればこの大師流は塵芥である fact15: この肉団子モデルは閉鎖する fact16: あの荷主は整理するか目敏いということはない fact17: 「「トラップドアだということはない」ということは成り立つ」物があるとするとあの溜井絵図は説明し難くない fact18: もしあのパリ市民は吊り易いしまた閉鎖するとすれば説明し難いということはない fact19: 「あの溜井絵図は引き難くないがトラップドアだ」ということは成り立たないならばあのパリ市民はトラップドアであるということはない fact20: あのパリ市民は閉鎖する fact21: 仮にあの荷主が目敏いということはないとすればあの大師流は塵芥である
void -> assump1: 以下のように仮定する。「あのパリ市民は吊り易い」ということは本当だ; assump1 & fact20 -> int1: あのパリ市民が吊り易いしその上それは閉鎖する; int1 & fact18 -> int2: あのパリ市民は説明し難いということはない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その重力は吊り易い
fact25 -> int4: もし仮にあの溜井絵図は不履行でないとすれば「それは引き難くないしそれにそれはトラップドアである」ということは誤りだ; fact22 & fact23 -> int5: あの溜井絵図は不履行でない; int4 & int5 -> int6: 「あの溜井絵図は引き難くないけれどトラップドアである」ということは成り立たない; fact24 & int6 -> int7: あのパリ市民はトラップドアでない; int7 -> int8: なんらかの物はトラップドアでない;
$facts$ = fact1: あの西蓮寺は閉鎖しない fact2: もしもあの外的秩序分野が竜君であるということはないか不履行であるかあるいは両方ともであるならばあの溜井絵図は不履行でない fact3: 「あのパリ市民は当該確定保険料でない」ということは成り立つ fact4: 仮にあの治癒切除がトラップドアであるということはないか引き難いかどちらもであるならばあの外的秩序分野はトラップドアでない fact5: もしなにかは不履行でないとしたら「それは引き難くないがトラップドアだ」ということは成り立たない fact6: もしなんらかのものがＲ市でないとすれば竜君で不履行だ fact7: 「あのパリ市民は狡っ辛くない」ということは成り立つ fact8: 「この大師流は覚束無い一方でそれはＲ市であるということはない」ということは偽であるとすればあの治癒切除はＲ市でない fact9: 不履行はトラップドアでないか引き難いかまたは両方ともだ fact10: 「この玻璃は閉鎖しない」ということは誤りでない fact11: もし仮にこの大師流は塵芥であるなら「それは覚束無い一方でＲ市でない」ということは成り立たない fact12: あのパリ市民は説明し難い fact13: あの外的秩序分野は竜君でないかもしくはそれは不履行であるかあるいは両方ともである fact14: 仮にあの荷主が整理するとすればこの大師流は塵芥である fact15: この肉団子モデルは閉鎖する fact16: あの荷主は整理するか目敏いということはない fact17: 「「トラップドアだということはない」ということは成り立つ」物があるとするとあの溜井絵図は説明し難くない fact18: もしあのパリ市民は吊り易いしまた閉鎖するとすれば説明し難いということはない fact19: 「あの溜井絵図は引き難くないがトラップドアだ」ということは成り立たないならばあのパリ市民はトラップドアであるということはない fact20: あのパリ市民は閉鎖する fact21: 仮にあの荷主が目敏いということはないとすればあの大師流は塵芥である ; $hypothesis$ = あのパリ市民は吊り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのパリ市民は吊り易い」ということは本当だ; assump1 & fact20 -> int1: あのパリ市民が吊り易いしその上それは閉鎖する; int1 & fact18 -> int2: あのパリ市民は説明し難いということはない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの西蓮寺は閉鎖しない
事実2: もしもあの外的秩序分野が竜君であるということはないか不履行であるかあるいは両方ともであるならばあの溜井絵図は不履行でない
事実3: 「あのパリ市民は当該確定保険料でない」ということは成り立つ
事実4: 仮にあの治癒切除がトラップドアであるということはないか引き難いかどちらもであるならばあの外的秩序分野はトラップドアでない
事実5: もしなにかは不履行でないとしたら「それは引き難くないがトラップドアだ」ということは成り立たない
事実6: もしなんらかのものがＲ市でないとすれば竜君で不履行だ
事実7: 「あのパリ市民は狡っ辛くない」ということは成り立つ
事実8: 「この大師流は覚束無い一方でそれはＲ市であるということはない」ということは偽であるとすればあの治癒切除はＲ市でない
事実9: 不履行はトラップドアでないか引き難いかまたは両方ともだ
事実10: 「この玻璃は閉鎖しない」ということは誤りでない
事実11: もし仮にこの大師流は塵芥であるなら「それは覚束無い一方でＲ市でない」ということは成り立たない
事実12: あのパリ市民は説明し難い
事実13: あの外的秩序分野は竜君でないかもしくはそれは不履行であるかあるいは両方ともである
事実14: 仮にあの荷主が整理するとすればこの大師流は塵芥である
事実15: この肉団子モデルは閉鎖する
事実16: あの荷主は整理するか目敏いということはない
事実17: 「「トラップドアだということはない」ということは成り立つ」物があるとするとあの溜井絵図は説明し難くない
事実18: もしあのパリ市民は吊り易いしまた閉鎖するとすれば説明し難いということはない
事実19: 「あの溜井絵図は引き難くないがトラップドアだ」ということは成り立たないならばあのパリ市民はトラップドアであるということはない
事実20: あのパリ市民は閉鎖する
事実21: 仮にあの荷主が目敏いということはないとすればあの大師流は塵芥である

仮説: あのパリ市民は吊り易い
1. 仮定1: 以下のように仮定する。「あのパリ市民は吊り易い」ということは本当だ
2. 仮定1と事実20から、推論1: "あのパリ市民が吊り易いしその上それは閉鎖する"が導かれる
3. 推論1と事実18から、推論2: "あのパリ市民は説明し難いということはない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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