その父母両系は調査しない
fact1: もし仮になにかは調査しないとすると「起こり難いけどルックでない」ということは誤っている fact2: あのグリーンハウスは調査しない fact3: 「その父母両系は其れっぽいけど起こり難くない」ということは事実と異なる fact4: その父母両系は難い fact5: その父母両系はミシマ君である fact6: その父母両系は神々しいがしかしコールマン大佐でない fact7: その父母両系はコールマン大佐でない fact8: このワッシャーは起こり難くない fact9: 「その父母両系は起こり難いが底釣りだということはない」ということは真実でない fact10: もし「この警邏はすんごいしさらに眠い」ということは成り立たないならその父母両系は眠いということはない fact11: 「その父母両系は調査するけれどそれは起こり難くない」ということは事実でない fact12: その父母両系は定量化しない fact13: 「その父母両系は得するけれどそれは起こり難いということはない」ということは事実と異なる fact14: もし仮にあの労働運動史は着直さないとすれば「この警邏はすんごいしそれに眠い」ということは成り立たない fact15: その父母両系は底釣りだが接近し易くない fact16: その国立能楽堂は調査しない fact17: この学会は調査するけど確からしいということはない fact18: そのニュートラルは遅過ぎるがしかし反映され易くない fact19: 「その父母両系は起こり難い」ということは成り立たない fact20: このサービス業は起こり難いけれどそれはルックでない fact21: この存念は人懐こい一方でそれは起こり難いということはない fact22: その自己責任は調査しない
void -> assump1: 以下のように仮定する。その父母両系は調査する; assump1 & fact19 -> int1: その父母両系は調査する一方でそれは起こり難くない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「あの鰹節は起こり難いけれどルックでない」ということは誤っている
fact25 -> int3: もしあの鰹節は調査しないとしたら「起こり難いしその上それはルックでない」ということは間違いだ;
$facts$ = fact1: もし仮になにかは調査しないとすると「起こり難いけどルックでない」ということは誤っている fact2: あのグリーンハウスは調査しない fact3: 「その父母両系は其れっぽいけど起こり難くない」ということは事実と異なる fact4: その父母両系は難い fact5: その父母両系はミシマ君である fact6: その父母両系は神々しいがしかしコールマン大佐でない fact7: その父母両系はコールマン大佐でない fact8: このワッシャーは起こり難くない fact9: 「その父母両系は起こり難いが底釣りだということはない」ということは真実でない fact10: もし「この警邏はすんごいしさらに眠い」ということは成り立たないならその父母両系は眠いということはない fact11: 「その父母両系は調査するけれどそれは起こり難くない」ということは事実でない fact12: その父母両系は定量化しない fact13: 「その父母両系は得するけれどそれは起こり難いということはない」ということは事実と異なる fact14: もし仮にあの労働運動史は着直さないとすれば「この警邏はすんごいしそれに眠い」ということは成り立たない fact15: その父母両系は底釣りだが接近し易くない fact16: その国立能楽堂は調査しない fact17: この学会は調査するけど確からしいということはない fact18: そのニュートラルは遅過ぎるがしかし反映され易くない fact19: 「その父母両系は起こり難い」ということは成り立たない fact20: このサービス業は起こり難いけれどそれはルックでない fact21: この存念は人懐こい一方でそれは起こり難いということはない fact22: その自己責任は調査しない ; $hypothesis$ = その父母両系は調査しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その父母両系は調査する; assump1 & fact19 -> int1: その父母両系は調査する一方でそれは起こり難くない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮になにかは調査しないとすると「起こり難いけどルックでない」ということは誤っている
事実2: あのグリーンハウスは調査しない
事実3: 「その父母両系は其れっぽいけど起こり難くない」ということは事実と異なる
事実4: その父母両系は難い
事実5: その父母両系はミシマ君である
事実6: その父母両系は神々しいがしかしコールマン大佐でない
事実7: その父母両系はコールマン大佐でない
事実8: このワッシャーは起こり難くない
事実9: 「その父母両系は起こり難いが底釣りだということはない」ということは真実でない
事実10: もし「この警邏はすんごいしさらに眠い」ということは成り立たないならその父母両系は眠いということはない
事実11: 「その父母両系は調査するけれどそれは起こり難くない」ということは事実でない
事実12: その父母両系は定量化しない
事実13: 「その父母両系は得するけれどそれは起こり難いということはない」ということは事実と異なる
事実14: もし仮にあの労働運動史は着直さないとすれば「この警邏はすんごいしそれに眠い」ということは成り立たない
事実15: その父母両系は底釣りだが接近し易くない
事実16: その国立能楽堂は調査しない
事実17: この学会は調査するけど確からしいということはない
事実18: そのニュートラルは遅過ぎるがしかし反映され易くない
事実19: 「その父母両系は起こり難い」ということは成り立たない
事実20: このサービス業は起こり難いけれどそれはルックでない
事実21: この存念は人懐こい一方でそれは起こり難いということはない
事実22: その自己責任は調査しない

仮説: その父母両系は調査しない
1. 仮定1: 以下のように仮定する。その父母両系は調査する
2. 仮定1と事実19から、推論1: "その父母両系は調査する一方でそれは起こり難くない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。