あの歩哨は安定供給する
fact1: もし仮にあの急場が配らないけれど儚しならばこの天パンは申し述べるということはない fact2: もしあの歩哨は隔離するということはないとしたら「安定供給する」ということは偽でない fact3: もし仮にあの急場が配らないし儚しないならこの天パンは申し述べない fact4: あの急場は配らないしおまけに儚しない fact5: あの既製が大天守でないし更にどぎつかないならばその歩哨は隔離しない fact6: もし仮に「あの急場は申し述べなくて安定供給しない」ということは成り立つとするとあの歩哨は安定供給しない fact7: あの既製は厳めしい fact8: あの既製は大天守でない一方でそれは厳めしい fact9: あの急場は隔離しない fact10: あの急場が配るが儚しないとするとこの天パンは申し述べるということはない fact11: なんらかの物が申し述べないならあの既製はどぎつかない
fact3 & fact4 -> int1: この天パンは申し述べない; int1 -> int2: 「「申し述べない」ということは成り立つ」ものはある; int2 & fact11 -> int3: あの既製はどぎつかない; fact8 -> int4: あの既製は大天守でない; int3 & int4 -> int5: あの既製は大天守でなくてどぎつかない; int5 & fact5 -> int6: あの歩哨は隔離しない; int6 & fact2 -> hypothesis;
あの歩哨は安定供給しない
$facts$ = fact1: もし仮にあの急場が配らないけれど儚しならばこの天パンは申し述べるということはない fact2: もしあの歩哨は隔離するということはないとしたら「安定供給する」ということは偽でない fact3: もし仮にあの急場が配らないし儚しないならこの天パンは申し述べない fact4: あの急場は配らないしおまけに儚しない fact5: あの既製が大天守でないし更にどぎつかないならばその歩哨は隔離しない fact6: もし仮に「あの急場は申し述べなくて安定供給しない」ということは成り立つとするとあの歩哨は安定供給しない fact7: あの既製は厳めしい fact8: あの既製は大天守でない一方でそれは厳めしい fact9: あの急場は隔離しない fact10: あの急場が配るが儚しないとするとこの天パンは申し述べるということはない fact11: なんらかの物が申し述べないならあの既製はどぎつかない ; $hypothesis$ = あの歩哨は安定供給する ; $proof$ = 
fact3 & fact4 -> int1: この天パンは申し述べない; int1 -> int2: 「「申し述べない」ということは成り立つ」ものはある; int2 & fact11 -> int3: あの既製はどぎつかない; fact8 -> int4: あの既製は大天守でない; int3 & int4 -> int5: あの既製は大天守でなくてどぎつかない; int5 & fact5 -> int6: あの歩哨は隔離しない; int6 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にあの急場が配らないけれど儚しならばこの天パンは申し述べるということはない
事実2: もしあの歩哨は隔離するということはないとしたら「安定供給する」ということは偽でない
事実3: もし仮にあの急場が配らないし儚しないならこの天パンは申し述べない
事実4: あの急場は配らないしおまけに儚しない
事実5: あの既製が大天守でないし更にどぎつかないならばその歩哨は隔離しない
事実6: もし仮に「あの急場は申し述べなくて安定供給しない」ということは成り立つとするとあの歩哨は安定供給しない
事実7: あの既製は厳めしい
事実8: あの既製は大天守でない一方でそれは厳めしい
事実9: あの急場は隔離しない
事実10: あの急場が配るが儚しないとするとこの天パンは申し述べるということはない
事実11: なんらかの物が申し述べないならあの既製はどぎつかない

仮説: あの歩哨は安定供給する
1. 事実3と事実4から、推論1: "この天パンは申し述べない"が導かれる
2. 推論1から、推論2: "「「申し述べない」ということは成り立つ」ものはある"が導かれる
3. 推論2と事実11から、推論3: "あの既製はどぎつかない"が導かれる
4. 事実8から、推論4: "あの既製は大天守でない"が導かれる
5. 推論3と推論4から、推論5: "あの既製は大天守でなくてどぎつかない"が導かれる
6. 推論5と事実5から、推論6: "あの歩哨は隔離しない"が導かれる
7. 推論6と事実2から、仮説が導かれる

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