そのＫＯは触診するということはない
fact1: すべての物はべた付き易いけれど触診しない fact2: 「その接触言語は漸減食であるし更に感得す」ということは成り立たないとしたら「それは漸減食でない」ということは確かだ fact3: もしその接触言語は漸減食でないとしたらそれは沖縄学童である fact4: もしもとある物が沖縄学童でないとすればそれはべた付き易いしさらにそれは心強くない fact5: 「その接触言語は漸減食であるしおまけに感得す」ということは誤りである fact6: もしもその接触言語が沖縄学童であるし温いならこの太尉は沖縄学童でない fact7: この太尉が沖縄学童でないとするとそのＫＯは沖縄学童でない
fact1 -> int1: そのＫＯはべた付き易いけど触診しない; int1 -> hypothesis;
そのＫＯは触診する
fact13 -> int2: もしもそのＫＯが沖縄学童でないとすればべた付き易いが心強いということはない; fact8 & fact11 -> int3: その接触言語は漸減食でない; fact9 & int3 -> int4: その接触言語は沖縄学童である;
$facts$ = fact1: すべての物はべた付き易いけれど触診しない fact2: 「その接触言語は漸減食であるし更に感得す」ということは成り立たないとしたら「それは漸減食でない」ということは確かだ fact3: もしその接触言語は漸減食でないとしたらそれは沖縄学童である fact4: もしもとある物が沖縄学童でないとすればそれはべた付き易いしさらにそれは心強くない fact5: 「その接触言語は漸減食であるしおまけに感得す」ということは誤りである fact6: もしもその接触言語が沖縄学童であるし温いならこの太尉は沖縄学童でない fact7: この太尉が沖縄学童でないとするとそのＫＯは沖縄学童でない ; $hypothesis$ = そのＫＯは触診するということはない ; $proof$ = 
fact1 -> int1: そのＫＯはべた付き易いけど触診しない; int1 -> hypothesis; __PROVED__
事実1: すべての物はべた付き易いけれど触診しない
事実2: 「その接触言語は漸減食であるし更に感得す」ということは成り立たないとしたら「それは漸減食でない」ということは確かだ
事実3: もしその接触言語は漸減食でないとしたらそれは沖縄学童である
事実4: もしもとある物が沖縄学童でないとすればそれはべた付き易いしさらにそれは心強くない
事実5: 「その接触言語は漸減食であるしおまけに感得す」ということは誤りである
事実6: もしもその接触言語が沖縄学童であるし温いならこの太尉は沖縄学童でない
事実7: この太尉が沖縄学童でないとするとそのＫＯは沖縄学童でない

仮説: そのＫＯは触診するということはない
1. 事実1から、推論1: "そのＫＯはべた付き易いけど触診しない"が導かれる
2. 推論1から、仮説が導かれる

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