「「もし晒され易いか退学率でないかあるいは両方ともならば「変化身だ」ということは本当な」物はある」ということは誤りである
fact1: もし仮にその大鏡は晒され易いかあるいは退学率だとすればそれは変化身だ fact2: あの一斉形は開き易いか把握し難くないとすれば変化身だ fact3: 「もしその黒マントが古めかしいかまたは腫れぼったいということはないかあるいは両方であるとすれば「その黒マントは把握し難い」ということは本当だ」ということは成り立つ fact4: 「もし仮に強盗であるかまたは筆記するとしたら暗し」ものはある fact5: 「黒マントであるなら気高い」物はある fact6: 晒され易いものは変化身だ fact7: もしなにがしかの物が晒され易いかまたはそれは退学率だということはないかまたはどちらもだとするとそれは変化身である fact8: 「もしも体験的活動であるとしたら参籠する」物はある fact9: 「もし仮に寝返るかまたは枯死しないならば年齢群である」物はある
fact7 -> int1: もし仮に「その大鏡は晒され易いかもしくは退学率でない」ということは事実であるとしたら変化身である; int1 -> hypothesis;
$facts$ = fact1: もし仮にその大鏡は晒され易いかあるいは退学率だとすればそれは変化身だ fact2: あの一斉形は開き易いか把握し難くないとすれば変化身だ fact3: 「もしその黒マントが古めかしいかまたは腫れぼったいということはないかあるいは両方であるとすれば「その黒マントは把握し難い」ということは本当だ」ということは成り立つ fact4: 「もし仮に強盗であるかまたは筆記するとしたら暗し」ものはある fact5: 「黒マントであるなら気高い」物はある fact6: 晒され易いものは変化身だ fact7: もしなにがしかの物が晒され易いかまたはそれは退学率だということはないかまたはどちらもだとするとそれは変化身である fact8: 「もしも体験的活動であるとしたら参籠する」物はある fact9: 「もし仮に寝返るかまたは枯死しないならば年齢群である」物はある ; $hypothesis$ = 「「もし晒され易いか退学率でないかあるいは両方ともならば「変化身だ」ということは本当な」物はある」ということは誤りである ; $proof$ = 
fact7 -> int1: もし仮に「その大鏡は晒され易いかもしくは退学率でない」ということは事実であるとしたら変化身である; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にその大鏡は晒され易いかあるいは退学率だとすればそれは変化身だ
事実2: あの一斉形は開き易いか把握し難くないとすれば変化身だ
事実3: 「もしその黒マントが古めかしいかまたは腫れぼったいということはないかあるいは両方であるとすれば「その黒マントは把握し難い」ということは本当だ」ということは成り立つ
事実4: 「もし仮に強盗であるかまたは筆記するとしたら暗し」ものはある
事実5: 「黒マントであるなら気高い」物はある
事実6: 晒され易いものは変化身だ
事実7: もしなにがしかの物が晒され易いかまたはそれは退学率だということはないかまたはどちらもだとするとそれは変化身である
事実8: 「もしも体験的活動であるとしたら参籠する」物はある
事実9: 「もし仮に寝返るかまたは枯死しないならば年齢群である」物はある

仮説: 「「もし晒され易いか退学率でないかあるいは両方ともならば「変化身だ」ということは本当な」物はある」ということは誤りである
1. 事実7から、推論1: "もし仮に「その大鏡は晒され易いかもしくは退学率でない」ということは事実であるとしたら変化身である"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。