「この戯画は創業一族出身だ」ということは確かだ
fact1: もしも「あるものはＡＵＸでおまけに殺人鬼だ」ということは誤っているなら「創業一族出身でない」ということは正しい fact2: あの生き難さが殺人鬼ならばその大元帥はＡＵＸである fact3: 「あの障害者組織は息み始めるけれど嬲らない」ということは成り立つということはないならばあの考古資料は嬲る fact4: もしもその大元帥が殺人鬼だとしたらこの戯画は創業一族出身である fact5: その大元帥はＡＵＸである fact6: もしもあの生き難さが創業一族出身であるとするとこの戯画はＡＵＸである fact7: 「あの障害者組織は息み始めるけどそれは嬲らない」ということは成り立たない fact8: あの生き難さが創業一族出身だとしたらこの保護栓は創業一族出身だ fact9: もしその考古資料が体系化でないとすればそれは紳士らしいし減反政策である fact10: もし「「殺人鬼でないかＡＵＸでないかもしくはどちらもである」ということは真実でない」ものがあればあの生き難さは創業一族出身である fact11: その考古資料は深し fact12: あの生き難さはＡＵＸである fact13: もし仮にその考古資料が深しとしたら体系化でない fact14: もし仮に何らかのものは事書でないとすると「殺人鬼でないかまたはＡＵＸでないかまたは両方ともである」ということは成り立たない fact15: あるものが悲しいとすると事書で加えてそれは生き易いということはない fact16: 仮にあの生き難さがＡＵＸならその大元帥は殺人鬼である fact17: 仮に「この戯画は事書であるけれど生き易くない」ということは事実であるならばあの大元帥は事書でない
fact16 & fact12 -> int1: その大元帥は殺人鬼だ; int1 & fact4 -> hypothesis;
fact16 & fact12 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
この保護栓は創業一族出身だ
fact26 -> int2: その大元帥は事書でないとすれば「「殺人鬼でないかそれはＡＵＸだということはないかもしくはどちらもだ」ということは正しい」ということは成り立たない; fact19 -> int3: 仮にこの戯画が悲しいとすれば事書である一方で生き易くない; fact22 & fact24 -> int4: その考古資料は嬲る; fact20 & fact23 -> int5: その考古資料は体系化であるということはない; fact18 & int5 -> int6: その考古資料は紳士らしいしまたそれは減反政策だ; int6 -> int7: その考古資料は減反政策である; int4 & int7 -> int8: その考古資料は嬲るししかも減反政策だ; int8 -> int9: なんらかの物は嬲るし減反政策だ;
$facts$ = fact1: もしも「あるものはＡＵＸでおまけに殺人鬼だ」ということは誤っているなら「創業一族出身でない」ということは正しい fact2: あの生き難さが殺人鬼ならばその大元帥はＡＵＸである fact3: 「あの障害者組織は息み始めるけれど嬲らない」ということは成り立つということはないならばあの考古資料は嬲る fact4: もしもその大元帥が殺人鬼だとしたらこの戯画は創業一族出身である fact5: その大元帥はＡＵＸである fact6: もしもあの生き難さが創業一族出身であるとするとこの戯画はＡＵＸである fact7: 「あの障害者組織は息み始めるけどそれは嬲らない」ということは成り立たない fact8: あの生き難さが創業一族出身だとしたらこの保護栓は創業一族出身だ fact9: もしその考古資料が体系化でないとすればそれは紳士らしいし減反政策である fact10: もし「「殺人鬼でないかＡＵＸでないかもしくはどちらもである」ということは真実でない」ものがあればあの生き難さは創業一族出身である fact11: その考古資料は深し fact12: あの生き難さはＡＵＸである fact13: もし仮にその考古資料が深しとしたら体系化でない fact14: もし仮に何らかのものは事書でないとすると「殺人鬼でないかまたはＡＵＸでないかまたは両方ともである」ということは成り立たない fact15: あるものが悲しいとすると事書で加えてそれは生き易いということはない fact16: 仮にあの生き難さがＡＵＸならその大元帥は殺人鬼である fact17: 仮に「この戯画は事書であるけれど生き易くない」ということは事実であるならばあの大元帥は事書でない ; $hypothesis$ = 「この戯画は創業一族出身だ」ということは確かだ ; $proof$ = 
fact16 & fact12 -> int1: その大元帥は殺人鬼だ; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしも「あるものはＡＵＸでおまけに殺人鬼だ」ということは誤っているなら「創業一族出身でない」ということは正しい
事実2: あの生き難さが殺人鬼ならばその大元帥はＡＵＸである
事実3: 「あの障害者組織は息み始めるけれど嬲らない」ということは成り立つということはないならばあの考古資料は嬲る
事実4: もしもその大元帥が殺人鬼だとしたらこの戯画は創業一族出身である
事実5: その大元帥はＡＵＸである
事実6: もしもあの生き難さが創業一族出身であるとするとこの戯画はＡＵＸである
事実7: 「あの障害者組織は息み始めるけどそれは嬲らない」ということは成り立たない
事実8: あの生き難さが創業一族出身だとしたらこの保護栓は創業一族出身だ
事実9: もしその考古資料が体系化でないとすればそれは紳士らしいし減反政策である
事実10: もし「「殺人鬼でないかＡＵＸでないかもしくはどちらもである」ということは真実でない」ものがあればあの生き難さは創業一族出身である
事実11: その考古資料は深し
事実12: あの生き難さはＡＵＸである
事実13: もし仮にその考古資料が深しとしたら体系化でない
事実14: もし仮に何らかのものは事書でないとすると「殺人鬼でないかまたはＡＵＸでないかまたは両方ともである」ということは成り立たない
事実15: あるものが悲しいとすると事書で加えてそれは生き易いということはない
事実16: 仮にあの生き難さがＡＵＸならその大元帥は殺人鬼である
事実17: 仮に「この戯画は事書であるけれど生き易くない」ということは事実であるならばあの大元帥は事書でない

仮説: 「この戯画は創業一族出身だ」ということは確かだ
1. 事実16と事実12から、推論1: "その大元帥は殺人鬼だ"が導かれる
2. 推論1と事実4から、仮説が導かれる

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