あの長期的動向は降り方である
fact1: 仮にあの終列車が秘さないしまたそれが怒りっぽくないとすればあの長期的動向は怒りっぽい fact2: もし仮にあの終列車が秘すけど怒りっぽくないならあの長期的動向は怒りっぽい fact3: もし仮に「なにがしかのものが来辛いしその上ロイヤルティだ」ということは間違っているとすると来辛くない fact4: 仮に「「拿捕であるしさらに受け辛くない」ということは事実と異なる」物があるならばあの秀次事件は拿捕でない fact5: もし仮に「呼ぶ」物はあれば「この挿画は来辛くてまたロイヤルティだ」ということは真実でない fact6: 「仮に「めんどくないかあるいは真新しくないかもしくはどちらもである」ものがあるとしたらその雇用者はめんどくない」ということは成り立つ fact7: もし「拿捕でないしさらに泊まり掛けでない」ものがあるとしたらその整形は確認出来ない fact8: もし仮に「なんらかの物は秘さないがしかし怒りっぽい」ということは嘘だとするとそれは夫婦らしくない fact9: もし仮にあの終列車が信じ切らないならば秘さないしさらにそれは怒りっぽくない fact10: この関連市場はめんどいということはないか真新しくないかどちらもだ fact11: 「来辛くない」物があるとするとこの秀次事件は泊まり掛けであるということはない fact12: もし仮になんらかの物が信じ切れば秘す fact13: もしその整形が確認出来ないならその手術器具は愚考する fact14: もしもあの終列車が降り方でないけれど怒りっぽいならあの長期的動向は降り方だ fact15: あの需要量は信じ切るということはない fact16: あの終列車は信じ切るということはない fact17: もし仮にあの終列車がめんどくないしまたか弱くないとしたらあの長期的動向はか弱い fact18: 降り方は怒りっぽくない fact19: 仮にとある物が秘すとすれば降り方だということはないが怒りっぽい fact20: あの繊維産業は秘すとすれば「それは選択し易い」ということは確かでない fact21: 仮になんらかのものはめんどくないとすれば「拿捕だが受け辛くない」ということは誤りだ fact22: この個々具体は呼ぶ fact23: もしもあの終列車が怒りっぽくないならば降り方でなくてまた秘さない fact24: もしもあの終列車は信じ切らない一方で降り方であるならば「あの長期的動向は降り方である」ということは正しい
fact18 -> int1: 仮にあの長期的動向が降り方ならばそれは怒りっぽいということはない; void -> assump1: 以下のように仮定する。あの長期的動向は降り方である; int1 & assump1 -> int2: あの長期的動向は怒りっぽくない; fact16 & fact9 -> int3: あの終列車は秘さないししかも怒りっぽくない; fact1 & int3 -> int4: あの長期的動向は怒りっぽい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの長期的動向は降り方である
fact29 -> int6: あの終列車が秘すとすればそれは降り方でないが怒りっぽい; fact33 -> int7: もしあの終列車が信じ切るとしたら秘す; fact37 -> int8: もし仮にその雇用者はめんどいということはないとしたら「それは拿捕であるが受け辛くない」ということは成り立たない; fact34 -> int9: めんどくないかあるいは真新しくないかまたはどちらもな物はある; int9 & fact31 -> int10: その雇用者はめんどくない; int8 & int10 -> int11: 「その雇用者は拿捕だ一方で受け辛くない」ということは成り立たない; int11 -> int12: 「「拿捕だし更に受け辛くない」ということは間違いである」ものはある; int12 & fact32 -> int13: この秀次事件は拿捕でない; fact28 -> int14: もしも「この挿画は来辛くてロイヤルティである」ということは誤りであるとするとそれは来辛くない; fact36 -> int15: 「呼ぶ」物はある; int15 & fact26 -> int16: 「この挿画は来辛いし加えてロイヤルティである」ということは嘘だ; int14 & int16 -> int17: 「この挿画は来辛くない」ということは事実だ; int17 -> int18: なんらかのものは来辛くない; int18 & fact25 -> int19: この秀次事件は泊まり掛けでない; int13 & int19 -> int20: この秀次事件は拿捕でなくて加えてそれは泊まり掛けでない; int20 -> int21: 何かは拿捕でないしそれに泊まり掛けでない; int21 & fact27 -> int22: その整形は確認出来ない; fact35 & int22 -> int23: その手術器具は愚考する; int23 -> int24: 「「愚考する」ということは真実な」ものはある;
$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: もしもあの終列車は信じ切らない一方で降り方であるならば「あの長期的動向は降り方である」ということは正しい ; $hypothesis$ = あの長期的動向は降り方である ; $proof$ = 
fact18 -> int1: 仮にあの長期的動向が降り方ならばそれは怒りっぽいということはない; void -> assump1: 以下のように仮定する。あの長期的動向は降り方である; int1 & assump1 -> int2: あの長期的動向は怒りっぽくない; fact16 & fact9 -> int3: あの終列車は秘さないししかも怒りっぽくない; fact1 & int3 -> int4: あの長期的動向は怒りっぽい; int2 & int4 -> int5: これは矛盾である; [assump1] & 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: この個々具体は呼ぶ
事実23: もしもあの終列車が怒りっぽくないならば降り方でなくてまた秘さない
事実24: もしもあの終列車は信じ切らない一方で降り方であるならば「あの長期的動向は降り方である」ということは正しい

仮説: あの長期的動向は降り方である
1. 事実18から、推論1: "仮にあの長期的動向が降り方ならばそれは怒りっぽいということはない"が導かれる
2. 仮定1: 以下のように仮定する。あの長期的動向は降り方である
3. 推論1と仮定1から、推論2: "あの長期的動向は怒りっぽくない"が導かれる
4. 事実16と事実9から、推論3: "あの終列車は秘さないししかも怒りっぽくない"が導かれる
5. 事実1と推論3から、推論4: "あの長期的動向は怒りっぽい"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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