仮に「この缶ビール片手は度し難い」ということは確かだとしたらこの費用負担は研修員でないかあるいはホレス・シルバーであるかあるいはどちらもだ
fact1: もし仮になにがしかの物がテキストボックス内だということはないとすると睨む fact2: もしこの鉄パイプは睨むとすると「この費用負担は研修員でないかもしくはホレス・シルバーであるかどちらもである」ということは事実である fact3: 仮に「この鉄パイプは睨む」ということは成り立つとしたらこの費用負担は研修員であるかホレス・シルバーだ fact4: この缶ビール片手は研修員でない fact5: 仮にこの缶ビール片手はスプレーしないとすると「ホレス・シルバーだ」ということは事実である fact6: 仮にこの缶ビール片手が度し難いならこの費用負担は研修員であるかもしくはホレス・シルバーであるかどちらもだ fact7: もしこの鉄パイプがホレス・シルバーであるしそれにテキストボックス内だとしたらこの費用負担は研修員であるということはない fact8: あのデザイナークラブはスプレーする fact9: この缶ビール片手はスプレーする fact10: この缶ビール片手が研修員であるししかも睨むならこの鉄パイプは度し難くない fact11: この缶ビール片手が度し難いしかつスプレーするとするとこの鉄パイプはテキストボックス内でない fact12: 「この費用負担は研修員であるかもしくはホレス・シルバーだ」ということは真実だ
void -> assump1: 以下のように仮定する。「この缶ビール片手は度し難い」ということは成り立つ; assump1 & fact9 -> int1: この缶ビール片手は度し難いししかもスプレーする; int1 & fact11 -> int2: この鉄パイプはテキストボックス内でない; fact1 -> int3: この鉄パイプはテキストボックス内でないとしたら睨む; int2 & int3 -> int4: この鉄パイプは睨む; int4 & fact2 -> int5: この費用負担は研修員だということはないかもしくはホレス・シルバーであるかもしくは両方ともだ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮になにがしかの物がテキストボックス内だということはないとすると睨む fact2: もしこの鉄パイプは睨むとすると「この費用負担は研修員でないかもしくはホレス・シルバーであるかどちらもである」ということは事実である fact3: 仮に「この鉄パイプは睨む」ということは成り立つとしたらこの費用負担は研修員であるかホレス・シルバーだ fact4: この缶ビール片手は研修員でない fact5: 仮にこの缶ビール片手はスプレーしないとすると「ホレス・シルバーだ」ということは事実である fact6: 仮にこの缶ビール片手が度し難いならこの費用負担は研修員であるかもしくはホレス・シルバーであるかどちらもだ fact7: もしこの鉄パイプがホレス・シルバーであるしそれにテキストボックス内だとしたらこの費用負担は研修員であるということはない fact8: あのデザイナークラブはスプレーする fact9: この缶ビール片手はスプレーする fact10: この缶ビール片手が研修員であるししかも睨むならこの鉄パイプは度し難くない fact11: この缶ビール片手が度し難いしかつスプレーするとするとこの鉄パイプはテキストボックス内でない fact12: 「この費用負担は研修員であるかもしくはホレス・シルバーだ」ということは真実だ ; $hypothesis$ = 仮に「この缶ビール片手は度し難い」ということは確かだとしたらこの費用負担は研修員でないかあるいはホレス・シルバーであるかあるいはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この缶ビール片手は度し難い」ということは成り立つ; assump1 & fact9 -> int1: この缶ビール片手は度し難いししかもスプレーする; int1 & fact11 -> int2: この鉄パイプはテキストボックス内でない; fact1 -> int3: この鉄パイプはテキストボックス内でないとしたら睨む; int2 & int3 -> int4: この鉄パイプは睨む; int4 & fact2 -> int5: この費用負担は研修員だということはないかもしくはホレス・シルバーであるかもしくは両方ともだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物がテキストボックス内だということはないとすると睨む
事実2: もしこの鉄パイプは睨むとすると「この費用負担は研修員でないかもしくはホレス・シルバーであるかどちらもである」ということは事実である
事実3: 仮に「この鉄パイプは睨む」ということは成り立つとしたらこの費用負担は研修員であるかホレス・シルバーだ
事実4: この缶ビール片手は研修員でない
事実5: 仮にこの缶ビール片手はスプレーしないとすると「ホレス・シルバーだ」ということは事実である
事実6: 仮にこの缶ビール片手が度し難いならこの費用負担は研修員であるかもしくはホレス・シルバーであるかどちらもだ
事実7: もしこの鉄パイプがホレス・シルバーであるしそれにテキストボックス内だとしたらこの費用負担は研修員であるということはない
事実8: あのデザイナークラブはスプレーする
事実9: この缶ビール片手はスプレーする
事実10: この缶ビール片手が研修員であるししかも睨むならこの鉄パイプは度し難くない
事実11: この缶ビール片手が度し難いしかつスプレーするとするとこの鉄パイプはテキストボックス内でない
事実12: 「この費用負担は研修員であるかもしくはホレス・シルバーだ」ということは真実だ

仮説: 仮に「この缶ビール片手は度し難い」ということは確かだとしたらこの費用負担は研修員でないかあるいはホレス・シルバーであるかあるいはどちらもだ
1. 仮定1: 以下のように仮定する。「この缶ビール片手は度し難い」ということは成り立つ
2. 仮定1と事実9から、推論1: "この缶ビール片手は度し難いししかもスプレーする"が導かれる
3. 推論1と事実11から、推論2: "この鉄パイプはテキストボックス内でない"が導かれる
4. 事実1から、推論3: "この鉄パイプはテキストボックス内でないとしたら睨む"が導かれる
5. 推論2と推論3から、推論4: "この鉄パイプは睨む"が導かれる
6. 推論4と事実2から、推論5: "この費用負担は研修員だということはないかもしくはホレス・シルバーであるかもしくは両方ともだ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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