あの山王祭は味気無い
fact1: もし仮になんらかの物は潔しないけれど攻撃し易いとすれば「それは済ま無くない」ということは事実だ fact2: あの山王祭は全国展開するしまた好き嫌いする fact3: あの山王祭は握手する fact4: このカウンティ委員会は避け難いしまた動力記号である fact5: 「なにがしかのものは文構造でないけれど仮退院する」ということは嘘であるなら結び付き易くない fact6: そのイオンが味気無いかまたは受け辛くないかまたはどちらもであるとするとあの山王祭は味気無くない fact7: もし仮に「そのヒットは済ま無くない」ということは成り立つとするとそのイオンは味気無いか受け辛くない fact8: 「文構造でないしそれに値踏みするということはない」ものはある fact9: そのイオンは仮退院する fact10: もし仮にとある物が済ま無いということはないとしたら財閥解体であるしかつ味気無い fact11: もし仮にそのイオンが仮退院するとしたらあの山王祭は約束する fact12: この田皮・田骨慣行は受け辛いしかつ瑞々しい fact13: あの教派が結び付き易くないとしたらこの必要書類は約束するかもしくはそれは潔しない fact14: 仮に何らかの物が結び付き易くないならそれは受け辛いし老朽化だ fact15: もし仮に何らかの物は攻撃し易いということはないなら「「それは済ま無くないしそれは老朽化だということはない」ということは真実である」ということは成り立たない fact16: あの山王祭は交えるし受け辛い fact17: あの山王祭は受け辛い fact18: もし「あのオラトリオは済ま無くないし老朽化でない」ということは事実と異なるとすればそのヒットは済ま無くない fact19: あの山王祭が約束するとすればこの証明期間は潔しないけど攻撃し易い fact20: あの山王祭は味気無くて受け辛い fact21: その歴史的意義は受け辛い
fact20 -> hypothesis;
fact20 -> hypothesis;
あの山王祭は味気無くない
fact26 -> int1: もしもあのオラトリオは攻撃し易くないとすると「それは済ま無くないしかつそれは老朽化でない」ということは間違いだ; fact25 -> int2: もしも「あの教派は文構造でないけれど仮退院する」ということは誤りならば結び付き易くない;
$facts$ = fact1: もし仮になんらかの物は潔しないけれど攻撃し易いとすれば「それは済ま無くない」ということは事実だ fact2: あの山王祭は全国展開するしまた好き嫌いする fact3: あの山王祭は握手する fact4: このカウンティ委員会は避け難いしまた動力記号である fact5: 「なにがしかのものは文構造でないけれど仮退院する」ということは嘘であるなら結び付き易くない fact6: そのイオンが味気無いかまたは受け辛くないかまたはどちらもであるとするとあの山王祭は味気無くない fact7: もし仮に「そのヒットは済ま無くない」ということは成り立つとするとそのイオンは味気無いか受け辛くない fact8: 「文構造でないしそれに値踏みするということはない」ものはある fact9: そのイオンは仮退院する fact10: もし仮にとある物が済ま無いということはないとしたら財閥解体であるしかつ味気無い fact11: もし仮にそのイオンが仮退院するとしたらあの山王祭は約束する fact12: この田皮・田骨慣行は受け辛いしかつ瑞々しい fact13: あの教派が結び付き易くないとしたらこの必要書類は約束するかもしくはそれは潔しない fact14: 仮に何らかの物が結び付き易くないならそれは受け辛いし老朽化だ fact15: もし仮に何らかの物は攻撃し易いということはないなら「「それは済ま無くないしそれは老朽化だということはない」ということは真実である」ということは成り立たない fact16: あの山王祭は交えるし受け辛い fact17: あの山王祭は受け辛い fact18: もし「あのオラトリオは済ま無くないし老朽化でない」ということは事実と異なるとすればそのヒットは済ま無くない fact19: あの山王祭が約束するとすればこの証明期間は潔しないけど攻撃し易い fact20: あの山王祭は味気無くて受け辛い fact21: その歴史的意義は受け辛い ; $hypothesis$ = あの山王祭は味気無い ; $proof$ = 
fact20 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は潔しないけれど攻撃し易いとすれば「それは済ま無くない」ということは事実だ
事実2: あの山王祭は全国展開するしまた好き嫌いする
事実3: あの山王祭は握手する
事実4: このカウンティ委員会は避け難いしまた動力記号である
事実5: 「なにがしかのものは文構造でないけれど仮退院する」ということは嘘であるなら結び付き易くない
事実6: そのイオンが味気無いかまたは受け辛くないかまたはどちらもであるとするとあの山王祭は味気無くない
事実7: もし仮に「そのヒットは済ま無くない」ということは成り立つとするとそのイオンは味気無いか受け辛くない
事実8: 「文構造でないしそれに値踏みするということはない」ものはある
事実9: そのイオンは仮退院する
事実10: もし仮にとある物が済ま無いということはないとしたら財閥解体であるしかつ味気無い
事実11: もし仮にそのイオンが仮退院するとしたらあの山王祭は約束する
事実12: この田皮・田骨慣行は受け辛いしかつ瑞々しい
事実13: あの教派が結び付き易くないとしたらこの必要書類は約束するかもしくはそれは潔しない
事実14: 仮に何らかの物が結び付き易くないならそれは受け辛いし老朽化だ
事実15: もし仮に何らかの物は攻撃し易いということはないなら「「それは済ま無くないしそれは老朽化だということはない」ということは真実である」ということは成り立たない
事実16: あの山王祭は交えるし受け辛い
事実17: あの山王祭は受け辛い
事実18: もし「あのオラトリオは済ま無くないし老朽化でない」ということは事実と異なるとすればそのヒットは済ま無くない
事実19: あの山王祭が約束するとすればこの証明期間は潔しないけど攻撃し易い
事実20: あの山王祭は味気無くて受け辛い
事実21: その歴史的意義は受け辛い

仮説: あの山王祭は味気無い
1. 事実20から、仮説が導かれる

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