「もし赤しないかまたは特別公務員暴行陵虐罪であるとしたらばらつかない」物はある
fact1: 「もしも赤しないならばばらつくということはない」物はある fact2: 「「もしも特別公務員暴行陵虐罪ならばらつくということはない」ものはある」ということは事実だ fact3: もしもこの簡易申告口座は赤しということはないか特別公務員暴行陵虐罪であるかあるいは両方であるならそれはばらつくということはない fact4: もしこの騙し絵は汎用しないかあるいは高笑いするかまたは両方であるとすればそれは特別公務員暴行陵虐罪でない fact5: もしこの簡易申告口座が年休でないかまたはそれは美保神社であるか両方であるならそれは成され易くない fact6: 「もし赤しないかもしくは特別公務員暴行陵虐罪であるかもしくはどちらもだとすればばらつく」ものはある fact7: 仮に何らかの物が赤しないかまたはそれが年休だとしたらそれはレンズ豆でない fact8: 「「赤しかあるいは特別公務員暴行陵虐罪であるかあるいは両方だとすれば「ばらつくということはない」ということは確かである」物はある」ということは真実である fact9: もしもこの簡易申告口座は赤しないかもしくは特別公務員暴行陵虐罪であるかあるいは両方だとしたらばらつく fact10: 仮にこの簡易申告口座が赤しないならばそれはばらつかない
fact3 -> hypothesis;
この本部提案は赤しないかもしくは年休であるかまたはどちらもであるならレンズ豆だということはない
fact11 -> hypothesis;
$facts$ = fact1: 「もしも赤しないならばばらつくということはない」物はある fact2: 「「もしも特別公務員暴行陵虐罪ならばらつくということはない」ものはある」ということは事実だ fact3: もしもこの簡易申告口座は赤しということはないか特別公務員暴行陵虐罪であるかあるいは両方であるならそれはばらつくということはない fact4: もしこの騙し絵は汎用しないかあるいは高笑いするかまたは両方であるとすればそれは特別公務員暴行陵虐罪でない fact5: もしこの簡易申告口座が年休でないかまたはそれは美保神社であるか両方であるならそれは成され易くない fact6: 「もし赤しないかもしくは特別公務員暴行陵虐罪であるかもしくはどちらもだとすればばらつく」ものはある fact7: 仮に何らかの物が赤しないかまたはそれが年休だとしたらそれはレンズ豆でない fact8: 「「赤しかあるいは特別公務員暴行陵虐罪であるかあるいは両方だとすれば「ばらつくということはない」ということは確かである」物はある」ということは真実である fact9: もしもこの簡易申告口座は赤しないかもしくは特別公務員暴行陵虐罪であるかあるいは両方だとしたらばらつく fact10: 仮にこの簡易申告口座が赤しないならばそれはばらつかない ; $hypothesis$ = 「もし赤しないかまたは特別公務員暴行陵虐罪であるとしたらばらつかない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もしも赤しないならばばらつくということはない」物はある
事実2: 「「もしも特別公務員暴行陵虐罪ならばらつくということはない」ものはある」ということは事実だ
事実3: もしもこの簡易申告口座は赤しということはないか特別公務員暴行陵虐罪であるかあるいは両方であるならそれはばらつくということはない
事実4: もしこの騙し絵は汎用しないかあるいは高笑いするかまたは両方であるとすればそれは特別公務員暴行陵虐罪でない
事実5: もしこの簡易申告口座が年休でないかまたはそれは美保神社であるか両方であるならそれは成され易くない
事実6: 「もし赤しないかもしくは特別公務員暴行陵虐罪であるかもしくはどちらもだとすればばらつく」ものはある
事実7: 仮に何らかの物が赤しないかまたはそれが年休だとしたらそれはレンズ豆でない
事実8: 「「赤しかあるいは特別公務員暴行陵虐罪であるかあるいは両方だとすれば「ばらつくということはない」ということは確かである」物はある」ということは真実である
事実9: もしもこの簡易申告口座は赤しないかもしくは特別公務員暴行陵虐罪であるかあるいは両方だとしたらばらつく
事実10: 仮にこの簡易申告口座が赤しないならばそれはばらつかない

仮説: 「もし赤しないかまたは特別公務員暴行陵虐罪であるとしたらばらつかない」物はある
1. 事実3から、仮説が導かれる

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