「素通りでないとすれば食わさない」物はある
fact1: もしこの現民法は素通りであるとすると食わさない fact2: 「仮に素通りだとすると食わさない」ものはある fact3: 「もしも天狗らしくないとすると描き続けない」物はある fact4: もし仮に何らかの物は内頸動脈でないならばそれは激走でない fact5: 「素通りでないとすれば「食わす」ということは本当な」物はある fact6: 「御答えしないとするとブラックアウトしない」物はある fact7: 素通りは食わさない fact8: もし仮にこの現民法は素通りでないとしたらそれは食わす fact9: 「もし零れ落ちないとすれば心弱くない」ものはある fact10: もしも何らかの物は素通りでないとしたら食わす fact11: もし仮に何かは素通りでないとすれば食わさない
fact11 -> int1: 仮にこの現民法は素通りでないならばそれは食わさない; int1 -> hypothesis;
$facts$ = fact1: もしこの現民法は素通りであるとすると食わさない fact2: 「仮に素通りだとすると食わさない」ものはある fact3: 「もしも天狗らしくないとすると描き続けない」物はある fact4: もし仮に何らかの物は内頸動脈でないならばそれは激走でない fact5: 「素通りでないとすれば「食わす」ということは本当な」物はある fact6: 「御答えしないとするとブラックアウトしない」物はある fact7: 素通りは食わさない fact8: もし仮にこの現民法は素通りでないとしたらそれは食わす fact9: 「もし零れ落ちないとすれば心弱くない」ものはある fact10: もしも何らかの物は素通りでないとしたら食わす fact11: もし仮に何かは素通りでないとすれば食わさない ; $hypothesis$ = 「素通りでないとすれば食わさない」物はある ; $proof$ = 
fact11 -> int1: 仮にこの現民法は素通りでないならばそれは食わさない; int1 -> hypothesis; __PROVED__
事実1: もしこの現民法は素通りであるとすると食わさない
事実2: 「仮に素通りだとすると食わさない」ものはある
事実3: 「もしも天狗らしくないとすると描き続けない」物はある
事実4: もし仮に何らかの物は内頸動脈でないならばそれは激走でない
事実5: 「素通りでないとすれば「食わす」ということは本当な」物はある
事実6: 「御答えしないとするとブラックアウトしない」物はある
事実7: 素通りは食わさない
事実8: もし仮にこの現民法は素通りでないとしたらそれは食わす
事実9: 「もし零れ落ちないとすれば心弱くない」ものはある
事実10: もしも何らかの物は素通りでないとしたら食わす
事実11: もし仮に何かは素通りでないとすれば食わさない

仮説: 「素通りでないとすれば食わさない」物はある
1. 事実11から、推論1: "仮にこの現民法は素通りでないならばそれは食わさない"が導かれる
2. 推論1から、仮説が導かれる

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