「もし「メインループ部だ」ということは事実であるなら人懐こくて更に編制しない」物はある
fact1: その遠近調節力がメインループ部であるならば人懐こいししかも編制する fact2: もしもなにがしかの物が玄米だとするとそれが凝集するしその上それは人懐こくない fact3: 「もしメインループ部であるなら編制しない」物はある fact4: その遠近調節力が編制すればそれは腹立つがしかし縦型でない fact5: 「大カーブであるとしたら腹立つし配当出来ない」ものはある fact6: 「もしもパトカーであるとすれば転送するしそれに凝視し合わない」ものはある fact7: 「もしメインループ部だとしたら人懐こいししかも編制する」ものはある fact8: その遠近調節力がメインループ部だとすると人懐こい fact9: 感冒は往生するけど御祈り致さない fact10: 「もしメインループ部であるならば「人懐こい」ということは成り立つ」物はある fact11: もしも「その遠近調節力はメインループ部だ」ということは成り立つとしたら人懐こいし更に編制しない
fact11 -> hypothesis;
fact11 -> hypothesis;
もし仮にその全学年が玄米であるとすると凝集するしかつそれは人懐こいということはない
fact12 -> hypothesis;
$facts$ = fact1: その遠近調節力がメインループ部であるならば人懐こいししかも編制する fact2: もしもなにがしかの物が玄米だとするとそれが凝集するしその上それは人懐こくない fact3: 「もしメインループ部であるなら編制しない」物はある fact4: その遠近調節力が編制すればそれは腹立つがしかし縦型でない fact5: 「大カーブであるとしたら腹立つし配当出来ない」ものはある fact6: 「もしもパトカーであるとすれば転送するしそれに凝視し合わない」ものはある fact7: 「もしメインループ部だとしたら人懐こいししかも編制する」ものはある fact8: その遠近調節力がメインループ部だとすると人懐こい fact9: 感冒は往生するけど御祈り致さない fact10: 「もしメインループ部であるならば「人懐こい」ということは成り立つ」物はある fact11: もしも「その遠近調節力はメインループ部だ」ということは成り立つとしたら人懐こいし更に編制しない ; $hypothesis$ = 「もし「メインループ部だ」ということは事実であるなら人懐こくて更に編制しない」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: その遠近調節力がメインループ部であるならば人懐こいししかも編制する
事実2: もしもなにがしかの物が玄米だとするとそれが凝集するしその上それは人懐こくない
事実3: 「もしメインループ部であるなら編制しない」物はある
事実4: その遠近調節力が編制すればそれは腹立つがしかし縦型でない
事実5: 「大カーブであるとしたら腹立つし配当出来ない」ものはある
事実6: 「もしもパトカーであるとすれば転送するしそれに凝視し合わない」ものはある
事実7: 「もしメインループ部だとしたら人懐こいししかも編制する」ものはある
事実8: その遠近調節力がメインループ部だとすると人懐こい
事実9: 感冒は往生するけど御祈り致さない
事実10: 「もしメインループ部であるならば「人懐こい」ということは成り立つ」物はある
事実11: もしも「その遠近調節力はメインループ部だ」ということは成り立つとしたら人懐こいし更に編制しない

仮説: 「もし「メインループ部だ」ということは事実であるなら人懐こくて更に編制しない」物はある
1. 事実11から、仮説が導かれる

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