「そのオブジェクトクラスは物欲しかないし思い沈まない」ということは誤りである
fact1: そのオブジェクトクラスは性別分業意識だ fact2: もし仮にその一世公が思い沈むならそのオブジェクトクラスは物欲しかなくてしかも思い沈まない fact3: 仮にその一世公は思い沈まないとすれば「それは在住するしそれにそれは奈良・平城京である」ということは成り立たない fact4: その一世公は休める fact5: そのオブジェクトクラスは夏時間でない fact6: この収得は在住しない fact7: そのオブジェクトクラスは在住する fact8: 「その一世公は参議会であるし小煩い」ということは成り立たない fact9: その文照応形は休める fact10: 仮に「その一世公は在住するし奈良・平城京である」ということは誤っているとしたら「それは休めない」ということは成り立つ fact11: そのオブジェクトクラスは大阪地判でない fact12: あの北西方位は休めない fact13: もしも「そのオブジェクトクラスは奈良・平城京であるし思い沈む」ということは偽であるとすれば休めない fact14: その胸飾りは思い沈む fact15: もし「そのオブジェクトクラスは端座するし更に緑化施設だ」ということは間違っているならそれは休めない fact16: この当たり年は思い沈まない fact17: 「その胸飾りは物欲しい」ということは間違いだ fact18: もしもあるものは遣れないならば「それは思い沈むしそれに忙しない」ということは成り立たない fact19: 「その一世公は思い沈むし豚レバーだ」ということは成り立つということはない fact20: もしその一世公は物欲しかないなら「思い沈むしそれは在住する」ということは誤りである fact21: その七倍強は在住しない fact22: 仮にその一世公が休めるとするとそのオブジェクトクラスは休めない fact23: もしもその一世公は奈良・平城京でないとしたらそれは休めない fact24: その一世公は重たい
void -> assump1: 以下のように仮定する。その一世公は思い沈むということはない; fact3 & assump1 -> int1: 「その一世公は在住するししかも奈良・平城京だ」ということは間違っている; int1 & fact10 -> int2: 「その一世公は休めない」ということは真実である; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: その一世公は思い沈む; int4 & fact2 -> hypothesis;
「もし「この加熱法は遣れるということはない」ということは確かであるとすると「この加熱法は思い沈むし忙しない」ということは成り立たない」ということは事実である
fact25 -> hypothesis;
$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$ = 
void -> assump1: 以下のように仮定する。その一世公は思い沈むということはない; fact3 & assump1 -> int1: 「その一世公は在住するししかも奈良・平城京だ」ということは間違っている; int1 & fact10 -> int2: 「その一世公は休めない」ということは真実である; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: その一世公は思い沈む; int4 & fact2 -> 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. 仮定1: 以下のように仮定する。その一世公は思い沈むということはない
2. 事実3と仮定1から、推論1: "「その一世公は在住するししかも奈良・平城京だ」ということは間違っている"が導かれる
3. 推論1と事実10から、推論2: "「その一世公は休めない」ということは真実である"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その一世公は思い沈む"が導かれる
6. 推論4と事実2から、仮説が否定される

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