その非西欧世界は確かめ合う
fact1: そのイスラム原理主義者は外遊びでない fact2: もしも「その非西欧世界は使い回すということはないしその上確かめ合わない」ということは成り立たないならばそのイスラム原理主義者は現病歴でない fact3: あの私形は外遊びでない fact4: あの森林・林業は駐車しないしかつ湿気ない fact5: もしある物が在任するしさらに確かめ合うとしたらそれは外遊びだということはない fact6: 仮に「使い回す」物はあれば「そのイスラム原理主義者は外遊びでまた現病歴である」ということは偽である fact7: この接続部分は在任しない fact8: 「この接続部分は外遊びでないがしかし話し辛い」ということは成り立つということはない fact9: もしその非西欧世界は外遊びでないとすれば「この接続部分は外遊びでないしかつそれは話し辛くない」ということは成り立たない fact10: 見出だし難くない物はある fact11: もし「「外遊びだし現病歴だ」ということは誤っている」物があるとするとこの接続部分は在任しない fact12: 仮に「この接続部分は外遊びでなくて加えてそれは話し辛くない」ということは間違いであるならばそのイスラム原理主義者は使い回さない fact13: 話し辛い物は使い回さなくて外遊びでない fact14: あの森林・林業は話し辛いしおまけにＶＡＲ／ネームＤだ fact15: あの森林・林業は湿気ない fact16: もし「見出だし難くない」ものがあるならこのシステム思考はエアラインでないけどそれは話し辛い fact17: もし仮にある物が使い回さないし外遊びでないとするとそれは確かめ合う fact18: その非西欧世界は現病歴だ fact19: その非西欧世界は在任するしおまけに現病歴だ fact20: もしその非西欧世界は外遊びでないならば「この接続部分は外遊びでないけれど話し辛い」ということは成り立たない fact21: あの森林・林業はエアラインでないならそれは外遊びでない fact22: もしあの森林・林業がエアラインだとしたらそのイスラム原理主義者は使い回す fact23: もしもあの森林・林業が駐車しないとしたら見出だし難くないしそれはエアラインである
fact19 -> int1: その非西欧世界は在任する; void -> assump1: 以下のように仮定する。「その非西欧世界は確かめ合う」ということは本当だ; int1 & assump1 -> int2: その非西欧世界は在任するしまた確かめ合う; fact5 -> int3: 「その非西欧世界は在任するし確かめ合う」ということは成り立つとしたら外遊びだということはない; int2 & int3 -> int4: その非西欧世界は外遊びでない; int4 & fact9 -> int5: 「この接続部分は外遊びであるということはないしその上それは話し辛くない」ということは偽だ; int5 & fact12 -> int6: 「そのイスラム原理主義者は使い回すということはない」ということは確かだ; fact4 -> int7: あの森林・林業は駐車するということはない; int7 & fact23 -> int8: あの森林・林業は見出だし難くないけどエアラインだ; int8 -> int9: あの森林・林業はエアラインだ; int9 & fact22 -> int10: そのイスラム原理主義者は使い回す; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
この曲がり屋は在任しない
fact24 -> int12: 「この曲がり屋は使い回さないしかつ外遊びでない」ということは偽でないとすれば確かめ合う; fact25 -> int13: もし仮にその非西欧世界が話し辛いとすると使い回すということはなくておまけに外遊びでない;
$facts$ = fact1: そのイスラム原理主義者は外遊びでない fact2: もしも「その非西欧世界は使い回すということはないしその上確かめ合わない」ということは成り立たないならばそのイスラム原理主義者は現病歴でない fact3: あの私形は外遊びでない fact4: あの森林・林業は駐車しないしかつ湿気ない fact5: もしある物が在任するしさらに確かめ合うとしたらそれは外遊びだということはない fact6: 仮に「使い回す」物はあれば「そのイスラム原理主義者は外遊びでまた現病歴である」ということは偽である fact7: この接続部分は在任しない fact8: 「この接続部分は外遊びでないがしかし話し辛い」ということは成り立つということはない fact9: もしその非西欧世界は外遊びでないとすれば「この接続部分は外遊びでないしかつそれは話し辛くない」ということは成り立たない fact10: 見出だし難くない物はある fact11: もし「「外遊びだし現病歴だ」ということは誤っている」物があるとするとこの接続部分は在任しない fact12: 仮に「この接続部分は外遊びでなくて加えてそれは話し辛くない」ということは間違いであるならばそのイスラム原理主義者は使い回さない fact13: 話し辛い物は使い回さなくて外遊びでない fact14: あの森林・林業は話し辛いしおまけにＶＡＲ／ネームＤだ fact15: あの森林・林業は湿気ない fact16: もし「見出だし難くない」ものがあるならこのシステム思考はエアラインでないけどそれは話し辛い fact17: もし仮にある物が使い回さないし外遊びでないとするとそれは確かめ合う fact18: その非西欧世界は現病歴だ fact19: その非西欧世界は在任するしおまけに現病歴だ fact20: もしその非西欧世界は外遊びでないならば「この接続部分は外遊びでないけれど話し辛い」ということは成り立たない fact21: あの森林・林業はエアラインでないならそれは外遊びでない fact22: もしあの森林・林業がエアラインだとしたらそのイスラム原理主義者は使い回す fact23: もしもあの森林・林業が駐車しないとしたら見出だし難くないしそれはエアラインである ; $hypothesis$ = その非西欧世界は確かめ合う ; $proof$ = 
fact19 -> int1: その非西欧世界は在任する; void -> assump1: 以下のように仮定する。「その非西欧世界は確かめ合う」ということは本当だ; int1 & assump1 -> int2: その非西欧世界は在任するしまた確かめ合う; fact5 -> int3: 「その非西欧世界は在任するし確かめ合う」ということは成り立つとしたら外遊びだということはない; int2 & int3 -> int4: その非西欧世界は外遊びでない; int4 & fact9 -> int5: 「この接続部分は外遊びであるということはないしその上それは話し辛くない」ということは偽だ; int5 & fact12 -> int6: 「そのイスラム原理主義者は使い回すということはない」ということは確かだ; fact4 -> int7: あの森林・林業は駐車するということはない; int7 & fact23 -> int8: あの森林・林業は見出だし難くないけどエアラインだ; int8 -> int9: あの森林・林業はエアラインだ; int9 & fact22 -> int10: そのイスラム原理主義者は使い回す; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> 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: もしもあの森林・林業が駐車しないとしたら見出だし難くないしそれはエアラインである

仮説: その非西欧世界は確かめ合う
1. 事実19から、推論1: "その非西欧世界は在任する"が導かれる
2. 仮定1: 以下のように仮定する。「その非西欧世界は確かめ合う」ということは本当だ
3. 推論1と仮定1から、推論2: "その非西欧世界は在任するしまた確かめ合う"が導かれる
4. 事実5から、推論3: "「その非西欧世界は在任するし確かめ合う」ということは成り立つとしたら外遊びだということはない"が導かれる
5. 推論2と推論3から、推論4: "その非西欧世界は外遊びでない"が導かれる
6. 推論4と事実9から、推論5: "「この接続部分は外遊びであるということはないしその上それは話し辛くない」ということは偽だ"が導かれる
7. 推論5と事実12から、推論6: "「そのイスラム原理主義者は使い回すということはない」ということは確かだ"が導かれる
8. 事実4から、推論7: "あの森林・林業は駐車するということはない"が導かれる
9. 推論7と事実23から、推論8: "あの森林・林業は見出だし難くないけどエアラインだ"が導かれる
10. 推論8から、推論9: "あの森林・林業はエアラインだ"が導かれる
11. 推論9と事実22から、推論10: "そのイスラム原理主義者は使い回す"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が否定される

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