「その者自身は相分かるしそれは承継営業である」ということは偽である
fact1: 「その者自身は鯱張らないがそれは残留する」ということは誤りだ fact2: もしその者自身は願い上げ奉らないとすると「「それは鯱張らないし残留しない」ということは真実だ」ということは成り立たない fact3: もしその文字列検索は願い上げ奉るということはないなら「その者自身は相分かるしまた承継営業だ」ということは間違いだ fact4: 仮に「とある物は半田牧場であるが絡め合わない」ということは誤りであるとすると半田牧場でない fact5: 仮にその者自身が願い上げ奉るとしたらそれは承継営業である fact6: もしこの人工細胞が歩行でないならばあの秋祭りは遠望しない fact7: もし「あの検査者は思い切れるし歩行である」ということは成り立つということはないとすればあの人工細胞は歩行でない fact8: その国王は思い切れない fact9: もし仮にあの朱塗りが配流である一方で願い上げ奉らないとすればその文字列検索は願い上げ奉るということはない fact10: 仮にあの秋祭りが半田牧場でないとするとあの朱塗りは配流であるけれど願い上げ奉らない fact11: 仮になにがしかの物が遠望しないなら小狡くて否める fact12: その者自身は鯱張るということはなくて残留しない fact13: 仮に何らかの物は小狡いとすれば「半田牧場であるがしかし絡め合わない」ということは成り立たない fact14: 「その者自身は相分かる」ということは事実である fact15: 「あの真は相分かる」ということは事実である fact16: もしも「「その者自身は願い上げ奉るがしかし承継営業でない」ということは嘘だ」ということは成り立つならこの出土品は相分かる
void -> assump1: 以下のように仮定する。その者自身は願い上げ奉るということはない; fact2 & assump1 -> int1: 「その者自身は鯱張らないしまた残留しない」ということは偽である; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: その者自身は願い上げ奉る; int3 & fact5 -> int4: その者自身は承継営業だ; int4 & fact14 -> hypothesis;
この出土品は相分かる
$facts$ = fact1: 「その者自身は鯱張らないがそれは残留する」ということは誤りだ fact2: もしその者自身は願い上げ奉らないとすると「「それは鯱張らないし残留しない」ということは真実だ」ということは成り立たない fact3: もしその文字列検索は願い上げ奉るということはないなら「その者自身は相分かるしまた承継営業だ」ということは間違いだ fact4: 仮に「とある物は半田牧場であるが絡め合わない」ということは誤りであるとすると半田牧場でない fact5: 仮にその者自身が願い上げ奉るとしたらそれは承継営業である fact6: もしこの人工細胞が歩行でないならばあの秋祭りは遠望しない fact7: もし「あの検査者は思い切れるし歩行である」ということは成り立つということはないとすればあの人工細胞は歩行でない fact8: その国王は思い切れない fact9: もし仮にあの朱塗りが配流である一方で願い上げ奉らないとすればその文字列検索は願い上げ奉るということはない fact10: 仮にあの秋祭りが半田牧場でないとするとあの朱塗りは配流であるけれど願い上げ奉らない fact11: 仮になにがしかの物が遠望しないなら小狡くて否める fact12: その者自身は鯱張るということはなくて残留しない fact13: 仮に何らかの物は小狡いとすれば「半田牧場であるがしかし絡め合わない」ということは成り立たない fact14: 「その者自身は相分かる」ということは事実である fact15: 「あの真は相分かる」ということは事実である fact16: もしも「「その者自身は願い上げ奉るがしかし承継営業でない」ということは嘘だ」ということは成り立つならこの出土品は相分かる ; $hypothesis$ = 「その者自身は相分かるしそれは承継営業である」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その者自身は願い上げ奉るということはない; fact2 & assump1 -> int1: 「その者自身は鯱張らないしまた残留しない」ということは偽である; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: その者自身は願い上げ奉る; int3 & fact5 -> int4: その者自身は承継営業だ; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: 「その者自身は鯱張らないがそれは残留する」ということは誤りだ
事実2: もしその者自身は願い上げ奉らないとすると「「それは鯱張らないし残留しない」ということは真実だ」ということは成り立たない
事実3: もしその文字列検索は願い上げ奉るということはないなら「その者自身は相分かるしまた承継営業だ」ということは間違いだ
事実4: 仮に「とある物は半田牧場であるが絡め合わない」ということは誤りであるとすると半田牧場でない
事実5: 仮にその者自身が願い上げ奉るとしたらそれは承継営業である
事実6: もしこの人工細胞が歩行でないならばあの秋祭りは遠望しない
事実7: もし「あの検査者は思い切れるし歩行である」ということは成り立つということはないとすればあの人工細胞は歩行でない
事実8: その国王は思い切れない
事実9: もし仮にあの朱塗りが配流である一方で願い上げ奉らないとすればその文字列検索は願い上げ奉るということはない
事実10: 仮にあの秋祭りが半田牧場でないとするとあの朱塗りは配流であるけれど願い上げ奉らない
事実11: 仮になにがしかの物が遠望しないなら小狡くて否める
事実12: その者自身は鯱張るということはなくて残留しない
事実13: 仮に何らかの物は小狡いとすれば「半田牧場であるがしかし絡め合わない」ということは成り立たない
事実14: 「その者自身は相分かる」ということは事実である
事実15: 「あの真は相分かる」ということは事実である
事実16: もしも「「その者自身は願い上げ奉るがしかし承継営業でない」ということは嘘だ」ということは成り立つならこの出土品は相分かる

仮説: 「その者自身は相分かるしそれは承継営業である」ということは偽である
1. 仮定1: 以下のように仮定する。その者自身は願い上げ奉るということはない
2. 事実2と仮定1から、推論1: "「その者自身は鯱張らないしまた残留しない」ということは偽である"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その者自身は願い上げ奉る"が導かれる
5. 推論3と事実5から、推論4: "その者自身は承継営業だ"が導かれる
6. 推論4と事実14から、仮説が否定される

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