あの買い物は全学部だ
fact1: もし何らかのものがごまかせないならクラリセージであるしおまけにそれは嘆かわしいということはない fact2: あの買い物は免れ難い fact3: 「その社会は全学部である」ということは事実である fact4: 仮にあるものは断行すということはないとすれば「それは免れ難くないけど全学部だ」ということは成り立つということはない fact5: その度外れは全学部だ fact6: もしもとあるものは実装するとすると「断行すらないしまたそれは全学部でない」ということは誤りである fact7: あの馬券売り場は免れ難い fact8: その社会は免れ難い fact9: 仮にその社会は断行すとすると「あの買い物は全学部だ」ということは成り立つ fact10: グロースはごまかせない fact11: あの馬券売り場が免れ難いとするとその社会は断行す fact12: その社会は夢幻だ fact13: 「なんらかのものは全学部であるし免れ難い」ということは事実と異なるとすると「それは全学部でない」ということは正しい fact14: もしその社会が夢幻であるとしたらあの馬券売り場はグロースだ fact15: もし仮に「「断行すらないし全学部でない」ということは成り立たない」ものがあるとするとあの僧正は免れ難い fact16: 「あの馬券売り場は断行すということはないがしかし全学部である」ということは偽であるとするとあの買い物は全学部であるということはない fact17: 「もしもその社会が全学部だとしたらあの買い物は断行す」ということは事実である fact18: もしあの買い物が断行すればその社会は全学部である fact19: もしとあるものは免れ難くないなら「断行すらないし全学部だ」ということは嘘だ fact20: クラリセージは実装する fact21: その社会は産駒だ
fact11 & fact7 -> int1: その社会は断行す; int1 & fact9 -> hypothesis;
あの僧正は免れ難い
fact24 -> int2: もし仮にあの馬券売り場は実装するとしたら「それが断行すということはないしその上それは全学部でない」ということは間違っている; fact26 -> int3: もしもあの馬券売り場がクラリセージだとすれば実装する; fact23 -> int4: もしもあの馬券売り場がごまかせないならばクラリセージであるけど嘆かわしいということはない; fact22 -> int5: 仮にあの馬券売り場がグロースだとしたらごまかせない; fact28 & fact25 -> int6: あの馬券売り場はグロースである; int5 & int6 -> int7: あの馬券売り場はごまかせるということはない; int4 & int7 -> int8: あの馬券売り場はクラリセージであるけど嘆かわしくない; int8 -> int9: あの馬券売り場はクラリセージである; int3 & int9 -> int10: 「あの馬券売り場は実装する」ということは正しい; int2 & int10 -> int11: 「あの馬券売り場は断行すらなくてまた全学部でない」ということは事実と異なる; int11 -> int12: 「「断行すらないし更に全学部でない」ということは事実でない」ものはある; int12 & fact27 -> hypothesis;
$facts$ = fact1: もし何らかのものがごまかせないならクラリセージであるしおまけにそれは嘆かわしいということはない fact2: あの買い物は免れ難い fact3: 「その社会は全学部である」ということは事実である fact4: 仮にあるものは断行すということはないとすれば「それは免れ難くないけど全学部だ」ということは成り立つということはない fact5: その度外れは全学部だ fact6: もしもとあるものは実装するとすると「断行すらないしまたそれは全学部でない」ということは誤りである fact7: あの馬券売り場は免れ難い fact8: その社会は免れ難い fact9: 仮にその社会は断行すとすると「あの買い物は全学部だ」ということは成り立つ fact10: グロースはごまかせない fact11: あの馬券売り場が免れ難いとするとその社会は断行す fact12: その社会は夢幻だ fact13: 「なんらかのものは全学部であるし免れ難い」ということは事実と異なるとすると「それは全学部でない」ということは正しい fact14: もしその社会が夢幻であるとしたらあの馬券売り場はグロースだ fact15: もし仮に「「断行すらないし全学部でない」ということは成り立たない」ものがあるとするとあの僧正は免れ難い fact16: 「あの馬券売り場は断行すということはないがしかし全学部である」ということは偽であるとするとあの買い物は全学部であるということはない fact17: 「もしもその社会が全学部だとしたらあの買い物は断行す」ということは事実である fact18: もしあの買い物が断行すればその社会は全学部である fact19: もしとあるものは免れ難くないなら「断行すらないし全学部だ」ということは嘘だ fact20: クラリセージは実装する fact21: その社会は産駒だ ; $hypothesis$ = あの買い物は全学部だ ; $proof$ = 
fact11 & fact7 -> int1: その社会は断行す; int1 & fact9 -> hypothesis; __PROVED__
事実1: もし何らかのものがごまかせないならクラリセージであるしおまけにそれは嘆かわしいということはない
事実2: あの買い物は免れ難い
事実3: 「その社会は全学部である」ということは事実である
事実4: 仮にあるものは断行すということはないとすれば「それは免れ難くないけど全学部だ」ということは成り立つということはない
事実5: その度外れは全学部だ
事実6: もしもとあるものは実装するとすると「断行すらないしまたそれは全学部でない」ということは誤りである
事実7: あの馬券売り場は免れ難い
事実8: その社会は免れ難い
事実9: 仮にその社会は断行すとすると「あの買い物は全学部だ」ということは成り立つ
事実10: グロースはごまかせない
事実11: あの馬券売り場が免れ難いとするとその社会は断行す
事実12: その社会は夢幻だ
事実13: 「なんらかのものは全学部であるし免れ難い」ということは事実と異なるとすると「それは全学部でない」ということは正しい
事実14: もしその社会が夢幻であるとしたらあの馬券売り場はグロースだ
事実15: もし仮に「「断行すらないし全学部でない」ということは成り立たない」ものがあるとするとあの僧正は免れ難い
事実16: 「あの馬券売り場は断行すということはないがしかし全学部である」ということは偽であるとするとあの買い物は全学部であるということはない
事実17: 「もしもその社会が全学部だとしたらあの買い物は断行す」ということは事実である
事実18: もしあの買い物が断行すればその社会は全学部である
事実19: もしとあるものは免れ難くないなら「断行すらないし全学部だ」ということは嘘だ
事実20: クラリセージは実装する
事実21: その社会は産駒だ

仮説: あの買い物は全学部だ
1. 事実11と事実7から、推論1: "その社会は断行す"が導かれる
2. 推論1と事実9から、仮説が導かれる

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