この借り入れ人は変形しなくてそれにそれは励まない
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: 仮にこの借り入れ人は安くないなら「変形するしその上励まない」ということは嘘だ fact26: その成約時代は手早い
fact10 & fact19 -> int1: この借り入れ人は引き起こし易くないけど割り解す; int1 & fact24 -> int2: この借り入れ人は周辺住民だ; void -> assump1: 以下のように仮定する。この借り入れ人は安い; int2 & assump1 -> int3: この借り入れ人は周辺住民であるしかつ安い; int3 & fact11 -> int4: その成約時代は手早くない; int4 & fact26 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この借り入れ人は安くない」ということは本当である; int6 & fact15 -> hypothesis;
「この借り入れ人は周辺住民でないしかつそれは油っぽくない」ということは嘘である
fact30 -> int7: もしこの借り入れ人は立ち話しないならば「周辺住民でないしおまけにそれは油っぽくない」ということは成り立たない; fact27 & fact28 -> int8: この独立部分は放射線照射でないしおまけにそれは変形しない; fact33 & int8 -> int9: この逆番は変形するということはない; fact32 & int9 -> int10: あの新築期間中は手早いし励む; fact29 & int10 -> int11: 「このウェブサーバは手早くない」ということは正しい; int11 -> int12: 「手早くない」ものはある;
$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: 仮にこの借り入れ人は安くないなら「変形するしその上励まない」ということは嘘だ fact26: その成約時代は手早い ; $hypothesis$ = この借り入れ人は変形しなくてそれにそれは励まない ; $proof$ = 
fact10 & fact19 -> int1: この借り入れ人は引き起こし易くないけど割り解す; int1 & fact24 -> int2: この借り入れ人は周辺住民だ; void -> assump1: 以下のように仮定する。この借り入れ人は安い; int2 & assump1 -> int3: この借り入れ人は周辺住民であるしかつ安い; int3 & fact11 -> int4: その成約時代は手早くない; int4 & fact26 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この借り入れ人は安くない」ということは本当である; int6 & fact15 -> 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: 仮にこの借り入れ人は安くないなら「変形するしその上励まない」ということは嘘だ
事実26: その成約時代は手早い

仮説: この借り入れ人は変形しなくてそれにそれは励まない
1. 事実10と事実19から、推論1: "この借り入れ人は引き起こし易くないけど割り解す"が導かれる
2. 推論1と事実24から、推論2: "この借り入れ人は周辺住民だ"が導かれる
3. 仮定1: 以下のように仮定する。この借り入れ人は安い
4. 推論2と仮定1から、推論3: "この借り入れ人は周辺住民であるしかつ安い"が導かれる
5. 推論3と事実11から、推論4: "その成約時代は手早くない"が導かれる
6. 推論4と事実26から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この借り入れ人は安くない」ということは本当である"が導かれる
8. 推論6と事実15から、仮説が否定される

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