「もしも「あの地盤は一括するし更に八都市階級である」ということは事実と異なればこの田楽は好色でない」ということは成り立たない
fact1: ある物は講演旅行だということはない fact2: 「この田楽は好色で八都市階級である」ということは成り立たない fact3: 「あの地盤は一括するし更に好色である」ということは成り立たない fact4: あの地盤は好色だということはない fact5: もし仮にあの地盤が八都市階級だということはないとするとこの田楽は好色だということはない fact6: 「「一括するし加えて好色である」ということは間違いな」ものはある fact7: とある物が一括するしさらに八都市階級ならあの地盤は好色でない fact8: 「「賑々しいしかつ試合中である」ということは嘘である」ものはある fact9: 「委託出来るということはない」ものがあればこの田楽は端末でない fact10: 「「八都市階級であるし好色だ」ということは事実と異なる」ものはある fact11: もし仮にあの地盤は好色だし一括すれば「この田楽は八都市階級だということはない」ということは事実だ fact12: 「「労働編成であるし加えて引っこ抜く」ということは事実でない」ものはある fact13: もし「「一括するし八都市階級だ」ということは事実と異なる」物があるとしたらこの田楽は好色だということはない fact14: あの地盤は一括しない fact15: あの地盤は達成し得ない fact16: もしもなんらかのものは一括しないとしたら「あの地盤は好色でない」ということは事実だ fact17: 仮に「「あの地盤は好色で八都市階級だ」ということは本当だ」ということは誤りだとするとこの田楽は一括しない fact18: なにがしかの物が好色でないとすればこの田楽は八都市階級でない fact19: もし「あの地盤は八都市階級であるし好色である」ということは真実であるならこの田楽は一括しない fact20: 「「「若者らしいしその上らっしゃる」ということは確かである」ということは間違っている」物はある
void -> assump1: 以下のように仮定する。「あの地盤は一括するしまた八都市階級である」ということは事実と異なる; assump1 -> int1: 「「一括するしその上八都市階級だ」ということは嘘である」ものはある; int1 & fact13 -> int2: この田楽は好色でない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: ある物は講演旅行だということはない fact2: 「この田楽は好色で八都市階級である」ということは成り立たない fact3: 「あの地盤は一括するし更に好色である」ということは成り立たない fact4: あの地盤は好色だということはない fact5: もし仮にあの地盤が八都市階級だということはないとするとこの田楽は好色だということはない fact6: 「「一括するし加えて好色である」ということは間違いな」ものはある fact7: とある物が一括するしさらに八都市階級ならあの地盤は好色でない fact8: 「「賑々しいしかつ試合中である」ということは嘘である」ものはある fact9: 「委託出来るということはない」ものがあればこの田楽は端末でない fact10: 「「八都市階級であるし好色だ」ということは事実と異なる」ものはある fact11: もし仮にあの地盤は好色だし一括すれば「この田楽は八都市階級だということはない」ということは事実だ fact12: 「「労働編成であるし加えて引っこ抜く」ということは事実でない」ものはある fact13: もし「「一括するし八都市階級だ」ということは事実と異なる」物があるとしたらこの田楽は好色だということはない fact14: あの地盤は一括しない fact15: あの地盤は達成し得ない fact16: もしもなんらかのものは一括しないとしたら「あの地盤は好色でない」ということは事実だ fact17: 仮に「「あの地盤は好色で八都市階級だ」ということは本当だ」ということは誤りだとするとこの田楽は一括しない fact18: なにがしかの物が好色でないとすればこの田楽は八都市階級でない fact19: もし「あの地盤は八都市階級であるし好色である」ということは真実であるならこの田楽は一括しない fact20: 「「「若者らしいしその上らっしゃる」ということは確かである」ということは間違っている」物はある ; $hypothesis$ = 「もしも「あの地盤は一括するし更に八都市階級である」ということは事実と異なればこの田楽は好色でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの地盤は一括するしまた八都市階級である」ということは事実と異なる; assump1 -> int1: 「「一括するしその上八都市階級だ」ということは嘘である」ものはある; int1 & fact13 -> int2: この田楽は好色でない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: ある物は講演旅行だということはない
事実2: 「この田楽は好色で八都市階級である」ということは成り立たない
事実3: 「あの地盤は一括するし更に好色である」ということは成り立たない
事実4: あの地盤は好色だということはない
事実5: もし仮にあの地盤が八都市階級だということはないとするとこの田楽は好色だということはない
事実6: 「「一括するし加えて好色である」ということは間違いな」ものはある
事実7: とある物が一括するしさらに八都市階級ならあの地盤は好色でない
事実8: 「「賑々しいしかつ試合中である」ということは嘘である」ものはある
事実9: 「委託出来るということはない」ものがあればこの田楽は端末でない
事実10: 「「八都市階級であるし好色だ」ということは事実と異なる」ものはある
事実11: もし仮にあの地盤は好色だし一括すれば「この田楽は八都市階級だということはない」ということは事実だ
事実12: 「「労働編成であるし加えて引っこ抜く」ということは事実でない」ものはある
事実13: もし「「一括するし八都市階級だ」ということは事実と異なる」物があるとしたらこの田楽は好色だということはない
事実14: あの地盤は一括しない
事実15: あの地盤は達成し得ない
事実16: もしもなんらかのものは一括しないとしたら「あの地盤は好色でない」ということは事実だ
事実17: 仮に「「あの地盤は好色で八都市階級だ」ということは本当だ」ということは誤りだとするとこの田楽は一括しない
事実18: なにがしかの物が好色でないとすればこの田楽は八都市階級でない
事実19: もし「あの地盤は八都市階級であるし好色である」ということは真実であるならこの田楽は一括しない
事実20: 「「「若者らしいしその上らっしゃる」ということは確かである」ということは間違っている」物はある

仮説: 「もしも「あの地盤は一括するし更に八都市階級である」ということは事実と異なればこの田楽は好色でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「あの地盤は一括するしまた八都市階級である」ということは事実と異なる
2. 仮定1から、推論1: "「「一括するしその上八都市階級だ」ということは嘘である」ものはある"が導かれる
3. 推論1と事実13から、推論2: "この田楽は好色でない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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