その使節は仰々しくない
fact1: なんらかのものは熟知しないならば「仰々しいということはなくてそれにそれは性的興奮度でない」ということは偽だ fact2: もしも何らかのものが熟知しないかまたはそれは伸し上がるか両方ならば「それは熟知しない」ということは成り立つ fact3: もし仮にこのな行が真白いならその海豚達は動転するけど熟知しない fact4: もしも「あの内袋は仰々しくないし性的興奮度でない」ということは成り立たないとするとその使節は仰々しくない fact5: その使節は仰々しい fact6: このな行は真白いし加えて御示しに成る
fact5 -> hypothesis;
fact5 -> hypothesis;
その使節は仰々しくない
fact8 -> int1: 仮にあの内袋は熟知しないならば「それは仰々しくないし性的興奮度だということはない」ということは成り立たない; fact7 -> int2: あの内袋が熟知しないかそれが伸し上がるとしたらそれは熟知しない; fact9 -> int3: このな行は真白い; fact10 & int3 -> int4: その海豚達は動転するがしかし熟知しない; int4 -> int5: その海豚達は熟知しない; int5 -> int6: 「熟知しない」物はある;
$facts$ = fact1: なんらかのものは熟知しないならば「仰々しいということはなくてそれにそれは性的興奮度でない」ということは偽だ fact2: もしも何らかのものが熟知しないかまたはそれは伸し上がるか両方ならば「それは熟知しない」ということは成り立つ fact3: もし仮にこのな行が真白いならその海豚達は動転するけど熟知しない fact4: もしも「あの内袋は仰々しくないし性的興奮度でない」ということは成り立たないとするとその使節は仰々しくない fact5: その使節は仰々しい fact6: このな行は真白いし加えて御示しに成る ; $hypothesis$ = その使節は仰々しくない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: なんらかのものは熟知しないならば「仰々しいということはなくてそれにそれは性的興奮度でない」ということは偽だ
事実2: もしも何らかのものが熟知しないかまたはそれは伸し上がるか両方ならば「それは熟知しない」ということは成り立つ
事実3: もし仮にこのな行が真白いならその海豚達は動転するけど熟知しない
事実4: もしも「あの内袋は仰々しくないし性的興奮度でない」ということは成り立たないとするとその使節は仰々しくない
事実5: その使節は仰々しい
事実6: このな行は真白いし加えて御示しに成る

仮説: その使節は仰々しくない
1. 事実5から、仮説が否定される

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