この状態遷移は変型しない
fact1: 「ある物は御座りするし扱い難い」ということは成り立つ fact2: もしもとあるものは扱い難いならば「御座りしないかまたは変型するかまたはどちらもだ」ということは成り立たない fact3: もし仮にとあるものが御座りするけれど扱い難くないとすればあの状態遷移は変型しない fact4: 「御座りする」ものはある fact5: 「扱い難くない」物はある fact6: その大学審議会は変型しない fact7: その大学審議会は御座りする一方で扱い難くない fact8: その大学審議会は御座りする fact9: もし仮に「この定め方は御座りしないかもしくはそれは変型するかまたはどちらもだ」ということは誤っているとしたら「この状態遷移は変型する」ということは間違っていない fact10: この状態遷移は備うがしかし小煩いということはない
fact7 -> int1: 「御座りするししかも扱い難くない」物はある; int1 & fact3 -> hypothesis;
この状態遷移は変型する
fact12 -> int2: もしも「この定め方は扱い難い」ということは確かであるならば「それは御座りしないかまたは変型するかもしくはどちらもだ」ということは事実と異なる;
$facts$ = fact1: 「ある物は御座りするし扱い難い」ということは成り立つ fact2: もしもとあるものは扱い難いならば「御座りしないかまたは変型するかまたはどちらもだ」ということは成り立たない fact3: もし仮にとあるものが御座りするけれど扱い難くないとすればあの状態遷移は変型しない fact4: 「御座りする」ものはある fact5: 「扱い難くない」物はある fact6: その大学審議会は変型しない fact7: その大学審議会は御座りする一方で扱い難くない fact8: その大学審議会は御座りする fact9: もし仮に「この定め方は御座りしないかもしくはそれは変型するかまたはどちらもだ」ということは誤っているとしたら「この状態遷移は変型する」ということは間違っていない fact10: この状態遷移は備うがしかし小煩いということはない ; $hypothesis$ = この状態遷移は変型しない ; $proof$ = 
fact7 -> int1: 「御座りするししかも扱い難くない」物はある; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「ある物は御座りするし扱い難い」ということは成り立つ
事実2: もしもとあるものは扱い難いならば「御座りしないかまたは変型するかまたはどちらもだ」ということは成り立たない
事実3: もし仮にとあるものが御座りするけれど扱い難くないとすればあの状態遷移は変型しない
事実4: 「御座りする」ものはある
事実5: 「扱い難くない」物はある
事実6: その大学審議会は変型しない
事実7: その大学審議会は御座りする一方で扱い難くない
事実8: その大学審議会は御座りする
事実9: もし仮に「この定め方は御座りしないかもしくはそれは変型するかまたはどちらもだ」ということは誤っているとしたら「この状態遷移は変型する」ということは間違っていない
事実10: この状態遷移は備うがしかし小煩いということはない

仮説: この状態遷移は変型しない
1. 事実7から、推論1: "「御座りするししかも扱い難くない」物はある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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