あの積み立て金は尋ね得る
fact1: もし仮になんらかの物がエピローグであるならそれは入り難くないしそれは広し fact2: あの積み立て金は適応する fact3: あの積み立て金はでっかい fact4: あの理論的枠組みは戦い続ける fact5: 「このボーファイターは尋ね得る」ということは正しい fact6: このボーファイターは冷却する fact7: この参道は尋ね得る fact8: このボーファイターが尋ね得るとしたらあの積み立て金は青猫である fact9: 仮にあの理論的枠組みは入り難いということはないならば「この色情狂は御察し致すが汚らわしいということはない」ということは正しい fact10: 「あの積み立て金は押収する」ということは成り立つ fact11: もし仮にあの積み立て金が青猫ならこのボーファイターは尋ね得る fact12: その教員時代は青猫である fact13: あの理論的枠組みは戦い続ければ「エピローグでないしそれは差し引かない」ということは間違っている fact14: このボーファイターは青猫だ fact15: もし仮にこのクスクスが青猫であるならあの積み立て金は尋ね得る fact16: 「あの理論的枠組みはエピローグでないしかつ差し引かない」ということは成り立たないならエピローグである fact17: このバルクは青猫である fact18: その能力差は青猫である fact19: このボーファイターは青猫であるなら「あの積み立て金は尋ね得る」ということは確かだ fact20: 仮にこの色情狂が御察し致すがしかし汚らわしくないとするとこのボーファイターは汚らわしい
fact19 & fact14 -> hypothesis;
fact19 & fact14 -> hypothesis;
あの積み立て金は尋ね得ない
fact26 -> int1: あの理論的枠組みがエピローグならそれは入り難くないが広し; fact23 & fact22 -> int2: 「あの理論的枠組みはエピローグでなくてそれに差し引くということはない」ということは事実でない; fact21 & int2 -> int3: あの理論的枠組みはエピローグである; int1 & int3 -> int4: あの理論的枠組みは入り難くないがしかし広し; int4 -> int5: あの理論的枠組みは入り難くない; fact24 & int5 -> int6: この色情狂は御察し致すが汚らわしくない; fact25 & int6 -> int7: このボーファイターは汚らわしい; int7 -> int8: なんらかのものは汚らわしい;
$facts$ = fact1: もし仮になんらかの物がエピローグであるならそれは入り難くないしそれは広し fact2: あの積み立て金は適応する fact3: あの積み立て金はでっかい fact4: あの理論的枠組みは戦い続ける fact5: 「このボーファイターは尋ね得る」ということは正しい fact6: このボーファイターは冷却する fact7: この参道は尋ね得る fact8: このボーファイターが尋ね得るとしたらあの積み立て金は青猫である fact9: 仮にあの理論的枠組みは入り難いということはないならば「この色情狂は御察し致すが汚らわしいということはない」ということは正しい fact10: 「あの積み立て金は押収する」ということは成り立つ fact11: もし仮にあの積み立て金が青猫ならこのボーファイターは尋ね得る fact12: その教員時代は青猫である fact13: あの理論的枠組みは戦い続ければ「エピローグでないしそれは差し引かない」ということは間違っている fact14: このボーファイターは青猫だ fact15: もし仮にこのクスクスが青猫であるならあの積み立て金は尋ね得る fact16: 「あの理論的枠組みはエピローグでないしかつ差し引かない」ということは成り立たないならエピローグである fact17: このバルクは青猫である fact18: その能力差は青猫である fact19: このボーファイターは青猫であるなら「あの積み立て金は尋ね得る」ということは確かだ fact20: 仮にこの色情狂が御察し致すがしかし汚らわしくないとするとこのボーファイターは汚らわしい ; $hypothesis$ = あの積み立て金は尋ね得る ; $proof$ = 
fact19 & fact14 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物がエピローグであるならそれは入り難くないしそれは広し
事実2: あの積み立て金は適応する
事実3: あの積み立て金はでっかい
事実4: あの理論的枠組みは戦い続ける
事実5: 「このボーファイターは尋ね得る」ということは正しい
事実6: このボーファイターは冷却する
事実7: この参道は尋ね得る
事実8: このボーファイターが尋ね得るとしたらあの積み立て金は青猫である
事実9: 仮にあの理論的枠組みは入り難いということはないならば「この色情狂は御察し致すが汚らわしいということはない」ということは正しい
事実10: 「あの積み立て金は押収する」ということは成り立つ
事実11: もし仮にあの積み立て金が青猫ならこのボーファイターは尋ね得る
事実12: その教員時代は青猫である
事実13: あの理論的枠組みは戦い続ければ「エピローグでないしそれは差し引かない」ということは間違っている
事実14: このボーファイターは青猫だ
事実15: もし仮にこのクスクスが青猫であるならあの積み立て金は尋ね得る
事実16: 「あの理論的枠組みはエピローグでないしかつ差し引かない」ということは成り立たないならエピローグである
事実17: このバルクは青猫である
事実18: その能力差は青猫である
事実19: このボーファイターは青猫であるなら「あの積み立て金は尋ね得る」ということは確かだ
事実20: 仮にこの色情狂が御察し致すがしかし汚らわしくないとするとこのボーファイターは汚らわしい

仮説: あの積み立て金は尋ね得る
1. 事実19と事実14から、仮説が導かれる

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