あのおっかあは根強くない
fact1: 需要はでかい fact2: そのブログページは臨済宗でない一方で分かち難い fact3: このファイルコピーは経口感染しない fact4: もしもこのファイルコピーは出発準備でないとすると「付け為さるということはないがしかし忌ま忌ましい」ということは間違いである fact5: もし仮に「このファイルコピーは経口感染しないかあるいはそれはダメージ中でない」ということは誤りだとすればあのブログページは経口感染する fact6: もしもあのおっかあが御用意するならばあのブログページは御用意しないがしかしでかい fact7: このファイルコピーはＧＳＭでない fact8: もしもそのブログページは作付けるないがしかし御用意するなら「あのおっかあは根強くない」ということは成り立つ fact9: このファイルコピーは出発準備でない fact10: もしもとある物がＧＳＭでないとするとそれは需要であるしそれにそれはダメージ中だ fact11: 「「助け合えないしまた需要だ」ということは嘘である」物はある fact12: もし仮にあのおっかあは作付けるがしかし根強くないとしたら御用意する fact13: あのおっかあは臨済宗だということはない一方で甘ったるい fact14: あのおっかあが御用意しないならばこの堅守は作付けるしそれにそれは根強い fact15: もし仮にあのおっかあが臨済宗でない一方でそれが甘ったるいならばそれは作付ける fact16: このファイルコピーは鳴る fact17: もし「「何らかの物は付け為さらないけれど忌ま忌ましい」ということは成り立つ」ということは間違っているならＧＳＭでない fact18: もし仮になにがしかの物が経口感染しないなら作付けるないし加えてそれは御用意する fact19: もし何らかのものが助け合えるならそれはでかい fact20: もしそのブログページが御用意しないがしかしそれがでかいならばこのファイルコピーは経口感染する fact21: もしもこのファイルコピーがでかいがしかし助け合えないなら「そのブログページは経口感染するということはない」ということは成り立つ
fact15 & fact13 -> int1: あのおっかあは作付ける; void -> assump1: 以下のように仮定する。あのおっかあは根強くない; int1 & assump1 -> int2: あのおっかあは作付ける一方で根強くない; int2 & fact12 -> int3: あのおっかあは御用意する; int3 & fact6 -> int4: そのブログページは御用意しないがしかしでかい; int4 & fact20 -> int5: このファイルコピーは経口感染する; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あのおっかあは根強いということはない
fact27 -> int7: 仮にそのブログページが経口感染しないとしたらそれは作付けるないししかも御用意する; fact29 -> int8: 「このファイルコピーは需要だ」ということは成り立つとするとそれはでかい; fact25 -> int9: もし仮にこのファイルコピーはＧＳＭでないとするとそれは需要でそれにダメージ中である; fact26 -> int10: 「このファイルコピーは付け為さらないがしかし忌ま忌ましい」ということは間違いであるならＧＳＭでない; fact24 & fact23 -> int11: 「このファイルコピーは付け為さらないけどそれは忌ま忌ましい」ということは成り立たない; int10 & int11 -> int12: このファイルコピーはＧＳＭでない; int9 & int12 -> int13: このファイルコピーは需要でかつダメージ中である; int13 -> int14: このファイルコピーは需要だ; int8 & int14 -> int15: このファイルコピーはでかい;
$facts$ = fact1: 需要はでかい fact2: そのブログページは臨済宗でない一方で分かち難い fact3: このファイルコピーは経口感染しない fact4: もしもこのファイルコピーは出発準備でないとすると「付け為さるということはないがしかし忌ま忌ましい」ということは間違いである fact5: もし仮に「このファイルコピーは経口感染しないかあるいはそれはダメージ中でない」ということは誤りだとすればあのブログページは経口感染する fact6: もしもあのおっかあが御用意するならばあのブログページは御用意しないがしかしでかい fact7: このファイルコピーはＧＳＭでない fact8: もしもそのブログページは作付けるないがしかし御用意するなら「あのおっかあは根強くない」ということは成り立つ fact9: このファイルコピーは出発準備でない fact10: もしもとある物がＧＳＭでないとするとそれは需要であるしそれにそれはダメージ中だ fact11: 「「助け合えないしまた需要だ」ということは嘘である」物はある fact12: もし仮にあのおっかあは作付けるがしかし根強くないとしたら御用意する fact13: あのおっかあは臨済宗だということはない一方で甘ったるい fact14: あのおっかあが御用意しないならばこの堅守は作付けるしそれにそれは根強い fact15: もし仮にあのおっかあが臨済宗でない一方でそれが甘ったるいならばそれは作付ける fact16: このファイルコピーは鳴る fact17: もし「「何らかの物は付け為さらないけれど忌ま忌ましい」ということは成り立つ」ということは間違っているならＧＳＭでない fact18: もし仮になにがしかの物が経口感染しないなら作付けるないし加えてそれは御用意する fact19: もし何らかのものが助け合えるならそれはでかい fact20: もしそのブログページが御用意しないがしかしそれがでかいならばこのファイルコピーは経口感染する fact21: もしもこのファイルコピーがでかいがしかし助け合えないなら「そのブログページは経口感染するということはない」ということは成り立つ ; $hypothesis$ = あのおっかあは根強くない ; $proof$ = 
fact15 & fact13 -> int1: あのおっかあは作付ける; void -> assump1: 以下のように仮定する。あのおっかあは根強くない; int1 & assump1 -> int2: あのおっかあは作付ける一方で根強くない; int2 & fact12 -> int3: あのおっかあは御用意する; int3 & fact6 -> int4: そのブログページは御用意しないがしかしでかい; int4 & fact20 -> int5: このファイルコピーは経口感染する; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 需要はでかい
事実2: そのブログページは臨済宗でない一方で分かち難い
事実3: このファイルコピーは経口感染しない
事実4: もしもこのファイルコピーは出発準備でないとすると「付け為さるということはないがしかし忌ま忌ましい」ということは間違いである
事実5: もし仮に「このファイルコピーは経口感染しないかあるいはそれはダメージ中でない」ということは誤りだとすればあのブログページは経口感染する
事実6: もしもあのおっかあが御用意するならばあのブログページは御用意しないがしかしでかい
事実7: このファイルコピーはＧＳＭでない
事実8: もしもそのブログページは作付けるないがしかし御用意するなら「あのおっかあは根強くない」ということは成り立つ
事実9: このファイルコピーは出発準備でない
事実10: もしもとある物がＧＳＭでないとするとそれは需要であるしそれにそれはダメージ中だ
事実11: 「「助け合えないしまた需要だ」ということは嘘である」物はある
事実12: もし仮にあのおっかあは作付けるがしかし根強くないとしたら御用意する
事実13: あのおっかあは臨済宗だということはない一方で甘ったるい
事実14: あのおっかあが御用意しないならばこの堅守は作付けるしそれにそれは根強い
事実15: もし仮にあのおっかあが臨済宗でない一方でそれが甘ったるいならばそれは作付ける
事実16: このファイルコピーは鳴る
事実17: もし「「何らかの物は付け為さらないけれど忌ま忌ましい」ということは成り立つ」ということは間違っているならＧＳＭでない
事実18: もし仮になにがしかの物が経口感染しないなら作付けるないし加えてそれは御用意する
事実19: もし何らかのものが助け合えるならそれはでかい
事実20: もしそのブログページが御用意しないがしかしそれがでかいならばこのファイルコピーは経口感染する
事実21: もしもこのファイルコピーがでかいがしかし助け合えないなら「そのブログページは経口感染するということはない」ということは成り立つ

仮説: あのおっかあは根強くない
1. 事実15と事実13から、推論1: "あのおっかあは作付ける"が導かれる
2. 仮定1: 以下のように仮定する。あのおっかあは根強くない
3. 推論1と仮定1から、推論2: "あのおっかあは作付ける一方で根強くない"が導かれる
4. 推論2と事実12から、推論3: "あのおっかあは御用意する"が導かれる
5. 推論3と事実6から、推論4: "そのブログページは御用意しないがしかしでかい"が導かれる
6. 推論4と事実20から、推論5: "このファイルコピーは経口感染する"が導かれる
7. 推論5と事実3から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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