この妊娠線は実行委員でない
fact1: このＭＯＤがストックするかもしくはそれが絡み付かないならそのはまなすは失敗事例である fact2: このＭＯＤはストックするかもしくはそれは絡み付かない fact3: 仮にこのＭＯＤが失敗事例でないけど貯蔵穴であるならばその禁固刑は貯蔵穴でない fact4: もしなんらかの物は展開し易くないとするとそれは実行委員である fact5: そのはまなすが失敗事例だとするとこの妊娠線は実行委員でないけど貯蔵穴である fact6: もし「このＭＯＤは実行委員でなくて失敗事例でない」ということは間違っているならこの妊娠線は実行委員である fact7: 仮にあるものが実行委員だとしたら失敗事例だということはないが貯蔵穴である fact8: もしもなにかは貯蔵穴でないならば「実行委員でないしそれは失敗事例でない」ということは成り立たない fact9: もし仮にそのはまなすが失敗事例だとするとこの妊娠線は貯蔵穴である fact10: もしなにかは貯蔵穴でないとするとそれは間違えるか思い沈まないかあるいはどちらもである
fact1 & fact2 -> int1: 「そのはまなすは失敗事例だ」ということは確かである; int1 & fact5 -> int2: この妊娠線は実行委員でないがしかし貯蔵穴だ; int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: (¬{C}{c} & {A}{c}); int2 -> hypothesis;
「この妊娠線は実行委員である」ということは成り立つ
fact11 -> int3: もしもこのＭＯＤは貯蔵穴でないとすれば「それは実行委員でないしさらに失敗事例でない」ということは成り立たない;
$facts$ = fact1: このＭＯＤがストックするかもしくはそれが絡み付かないならそのはまなすは失敗事例である fact2: このＭＯＤはストックするかもしくはそれは絡み付かない fact3: 仮にこのＭＯＤが失敗事例でないけど貯蔵穴であるならばその禁固刑は貯蔵穴でない fact4: もしなんらかの物は展開し易くないとするとそれは実行委員である fact5: そのはまなすが失敗事例だとするとこの妊娠線は実行委員でないけど貯蔵穴である fact6: もし「このＭＯＤは実行委員でなくて失敗事例でない」ということは間違っているならこの妊娠線は実行委員である fact7: 仮にあるものが実行委員だとしたら失敗事例だということはないが貯蔵穴である fact8: もしもなにかは貯蔵穴でないならば「実行委員でないしそれは失敗事例でない」ということは成り立たない fact9: もし仮にそのはまなすが失敗事例だとするとこの妊娠線は貯蔵穴である fact10: もしなにかは貯蔵穴でないとするとそれは間違えるか思い沈まないかあるいはどちらもである ; $hypothesis$ = この妊娠線は実行委員でない ; $proof$ = 
fact1 & fact2 -> int1: 「そのはまなすは失敗事例だ」ということは確かである; int1 & fact5 -> int2: この妊娠線は実行委員でないがしかし貯蔵穴だ; int2 -> hypothesis; __PROVED__
事実1: このＭＯＤがストックするかもしくはそれが絡み付かないならそのはまなすは失敗事例である
事実2: このＭＯＤはストックするかもしくはそれは絡み付かない
事実3: 仮にこのＭＯＤが失敗事例でないけど貯蔵穴であるならばその禁固刑は貯蔵穴でない
事実4: もしなんらかの物は展開し易くないとするとそれは実行委員である
事実5: そのはまなすが失敗事例だとするとこの妊娠線は実行委員でないけど貯蔵穴である
事実6: もし「このＭＯＤは実行委員でなくて失敗事例でない」ということは間違っているならこの妊娠線は実行委員である
事実7: 仮にあるものが実行委員だとしたら失敗事例だということはないが貯蔵穴である
事実8: もしもなにかは貯蔵穴でないならば「実行委員でないしそれは失敗事例でない」ということは成り立たない
事実9: もし仮にそのはまなすが失敗事例だとするとこの妊娠線は貯蔵穴である
事実10: もしなにかは貯蔵穴でないとするとそれは間違えるか思い沈まないかあるいはどちらもである

仮説: この妊娠線は実行委員でない
1. 事実1と事実2から、推論1: "「そのはまなすは失敗事例だ」ということは確かである"が導かれる
2. 推論1と事実5から、推論2: "この妊娠線は実行委員でないがしかし貯蔵穴だ"が導かれる
3. 推論2から、仮説が導かれる

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