この側面用は食べ始めない
fact1: もしもこの側面用が煩がればそれは食べ始める fact2: 「この側面用は大池であるし更に煩がる」ということは誤っている fact3: 「この側面用は大池であるがしかし煩がらない」ということは事実と異なる fact4: もし仮に「この側面用は大池だが煩がらない」ということは確かでないとすれば「それは食べ始める」ということは事実だ fact5: もしもなんらかのものは敬意でないならそれは食べ始めないししかもわりなくない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
この側面用は食べ始めない
fact6 -> int1: 仮にこの側面用が敬意でないとすると食べ始めないしおまけにそれはわりなくない;
$facts$ = fact1: もしもこの側面用が煩がればそれは食べ始める fact2: 「この側面用は大池であるし更に煩がる」ということは誤っている fact3: 「この側面用は大池であるがしかし煩がらない」ということは事実と異なる fact4: もし仮に「この側面用は大池だが煩がらない」ということは確かでないとすれば「それは食べ始める」ということは事実だ fact5: もしもなんらかのものは敬意でないならそれは食べ始めないししかもわりなくない ; $hypothesis$ = この側面用は食べ始めない ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの側面用が煩がればそれは食べ始める
事実2: 「この側面用は大池であるし更に煩がる」ということは誤っている
事実3: 「この側面用は大池であるがしかし煩がらない」ということは事実と異なる
事実4: もし仮に「この側面用は大池だが煩がらない」ということは確かでないとすれば「それは食べ始める」ということは事実だ
事実5: もしもなんらかのものは敬意でないならそれは食べ始めないししかもわりなくない

仮説: この側面用は食べ始めない
1. 事実4と事実3から、仮説が否定される

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