もし仮にあの市販が色っぽくないなら欠席である
fact1: もしもなんらかの物が管理出来ないなら着する fact2: そのアレンズバーグ夫妻は色っぽい fact3: 仮になにがしかのものが断定し難いとしたらそれは欠席だ fact4: 「あの市販は製品ライフサイクルでない」ということは成り立つ fact5: もし仮になんらかの物が色っぽいとすると欠席だ fact6: もしあの市販が色っぽいとすれば断定し難い fact7: もしもあの市販が色っぽいなら欠席だ fact8: もしもあの市販が色っぽくないとすればそれは断定し難い
void -> assump1: 以下のように仮定する。あの市販は色っぽくない; fact8 & assump1 -> int1: 「あの市販は断定し難い」ということは成り立つ; fact3 -> int2: もしあの市販が断定し難いとしたらそれは欠席だ; int1 & int2 -> int3: あの市販は欠席だ; [assump1] & int3 -> hypothesis;
あの市販が管理出来ないとしたらそれは着する
fact9 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が管理出来ないなら着する fact2: そのアレンズバーグ夫妻は色っぽい fact3: 仮になにがしかのものが断定し難いとしたらそれは欠席だ fact4: 「あの市販は製品ライフサイクルでない」ということは成り立つ fact5: もし仮になんらかの物が色っぽいとすると欠席だ fact6: もしあの市販が色っぽいとすれば断定し難い fact7: もしもあの市販が色っぽいなら欠席だ fact8: もしもあの市販が色っぽくないとすればそれは断定し難い ; $hypothesis$ = もし仮にあの市販が色っぽくないなら欠席である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの市販は色っぽくない; fact8 & assump1 -> int1: 「あの市販は断定し難い」ということは成り立つ; fact3 -> int2: もしあの市販が断定し難いとしたらそれは欠席だ; int1 & int2 -> int3: あの市販は欠席だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が管理出来ないなら着する
事実2: そのアレンズバーグ夫妻は色っぽい
事実3: 仮になにがしかのものが断定し難いとしたらそれは欠席だ
事実4: 「あの市販は製品ライフサイクルでない」ということは成り立つ
事実5: もし仮になんらかの物が色っぽいとすると欠席だ
事実6: もしあの市販が色っぽいとすれば断定し難い
事実7: もしもあの市販が色っぽいなら欠席だ
事実8: もしもあの市販が色っぽくないとすればそれは断定し難い

仮説: もし仮にあの市販が色っぽくないなら欠席である
1. 仮定1: 以下のように仮定する。あの市販は色っぽくない
2. 事実8と仮定1から、推論1: "「あの市販は断定し難い」ということは成り立つ"が導かれる
3. 事実3から、推論2: "もしあの市販が断定し難いとしたらそれは欠席だ"が導かれる
4. 推論1と推論2から、推論3: "あの市販は欠席だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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