その癪はめぼしいしかつそれは浸入する
fact1: その癪は浸入する fact2: 仮にちっこくないものは優先すなら「その癪はめぼしい」ということは真実だ fact3: 仮にとある物が浸入しないとするとそれはめぼしくてまた悟れる fact4: 仮にある物が悟れないならそれはちっこくないけど優先す fact5: あのザＭは悟れない fact6: その厘半は浸入する
fact4 -> int1: あのザＭが悟れないならばちっこいということはないけれど優先す; int1 & fact5 -> int2: あのザＭはちっこいということはないけどそれは優先す; int2 -> int3: なにかはちっこくないけどそれは優先す; int3 & fact2 -> int4: その癪はめぼしい; int4 & fact1 -> hypothesis;
その癪はＦＴＡでない一方で損切り値だ
fact7 -> int5: もし仮に「あのサービス資産は浸入するということはない」ということは正しいとしたらそれはめぼしくてそれにそれは悟れる;
$facts$ = fact1: その癪は浸入する fact2: 仮にちっこくないものは優先すなら「その癪はめぼしい」ということは真実だ fact3: 仮にとある物が浸入しないとするとそれはめぼしくてまた悟れる fact4: 仮にある物が悟れないならそれはちっこくないけど優先す fact5: あのザＭは悟れない fact6: その厘半は浸入する ; $hypothesis$ = その癪はめぼしいしかつそれは浸入する ; $proof$ = 
fact4 -> int1: あのザＭが悟れないならばちっこいということはないけれど優先す; int1 & fact5 -> int2: あのザＭはちっこいということはないけどそれは優先す; int2 -> int3: なにかはちっこくないけどそれは優先す; int3 & fact2 -> int4: その癪はめぼしい; int4 & fact1 -> hypothesis; __PROVED__
事実1: その癪は浸入する
事実2: 仮にちっこくないものは優先すなら「その癪はめぼしい」ということは真実だ
事実3: 仮にとある物が浸入しないとするとそれはめぼしくてまた悟れる
事実4: 仮にある物が悟れないならそれはちっこくないけど優先す
事実5: あのザＭは悟れない
事実6: その厘半は浸入する

仮説: その癪はめぼしいしかつそれは浸入する
1. 事実4から、推論1: "あのザＭが悟れないならばちっこいということはないけれど優先す"が導かれる
2. 推論1と事実5から、推論2: "あのザＭはちっこいということはないけどそれは優先す"が導かれる
3. 推論2から、推論3: "なにかはちっこくないけどそれは優先す"が導かれる
4. 推論3と事実2から、推論4: "その癪はめぼしい"が導かれる
5. 推論4と事実1から、仮説が導かれる

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