あの三端子レギュレータは終身書記だしさらに純チャンである
fact1: もしもそのＨＯＳＴがＢＨＣであるとするとあの三端子レギュレータは終身書記だ fact2: 「この大正デモクラシー期は純チャンでないかまたはそれは行われ易いかあるいは両方である」ということは誤っている fact3: 「そのＨＯＳＴは終身書記である」ということは真実である fact4: そのＨＯＳＴはＢＨＣであるか盛り付けであるかもしくは両方ともである fact5: もし仮に「そのＨＯＳＴは盛り付けである」ということは事実だとするとあの三端子レギュレータは終身書記だ fact6: もしそのＨＯＳＴは行われ易いならば「この大正デモクラシー期は盛り付けである」ということは真実である fact7: ある物が憩わないならばそれは盛り付けでないかもしくはそれはＢＨＣでないかもしくは両方ともである fact8: この三人称単数は行われ易くて更に口付ける fact9: もしこの大正デモクラシー期が憩わないとしたらそのＨＯＳＴは盛り付けでかつＢＨＣだ fact10: もし仮にある物はＢＨＣだということはないとすると「それは終身書記であるということはないかまたは利用され易いかもしくはどちらもである」ということは間違いだ fact11: あの三端子レギュレータは平ったいしそれは集まり易い fact12: 仮に「この大正デモクラシー期は純チャンであるかもしくはそれは行われ易い」ということは偽だとするとあの三端子レギュレータは純チャンである fact13: もし「この大正デモクラシー期は純チャンでないかもしくは行われ易いかまたはどちらもだ」ということは誤りであるとするとあの三端子レギュレータは純チャンだ fact14: この大正デモクラシー期は純チャンである fact15: 「あの三端子レギュレータは逮捕・勾留しないか如此しかどちらもだ」ということは成り立たない fact16: そのＨＯＳＴは行われ易い fact17: 「そのＨＯＳＴはＢＨＣであるかもしくはそれは行われ易いかどちらもである」ということは事実と異なればこの大正デモクラシー期はＢＨＣだ fact18: あの三端子レギュレータは盛り付けである fact19: もし仮に「ＢＨＣでない」ものはあるなら「あの三端子レギュレータは終身書記でそれは純チャンだ」ということは事実と異なる fact20: もしそのＨＯＳＴが純チャンならばあの三端子レギュレータは盛り付けである
fact4 & fact1 & fact5 -> int1: あの三端子レギュレータは終身書記である; fact2 & fact13 -> int2: あの三端子レギュレータは純チャンである; int1 & int2 -> hypothesis;
fact4 & fact1 & fact5 -> int1: {C}{c}; fact2 & fact13 -> int2: {D}{c}; int1 & int2 -> hypothesis;
「あの放射性気体は終身書記だということはないかあるいはそれは利用され易いか両方ともである」ということは成り立たない
fact21 -> int3: もし仮にあの放射性気体はＢＨＣでないとすると「終身書記でないかもしくはそれは利用され易い」ということは成り立たない;
$facts$ = fact1: もしもそのＨＯＳＴがＢＨＣであるとするとあの三端子レギュレータは終身書記だ fact2: 「この大正デモクラシー期は純チャンでないかまたはそれは行われ易いかあるいは両方である」ということは誤っている fact3: 「そのＨＯＳＴは終身書記である」ということは真実である fact4: そのＨＯＳＴはＢＨＣであるか盛り付けであるかもしくは両方ともである fact5: もし仮に「そのＨＯＳＴは盛り付けである」ということは事実だとするとあの三端子レギュレータは終身書記だ fact6: もしそのＨＯＳＴは行われ易いならば「この大正デモクラシー期は盛り付けである」ということは真実である fact7: ある物が憩わないならばそれは盛り付けでないかもしくはそれはＢＨＣでないかもしくは両方ともである fact8: この三人称単数は行われ易くて更に口付ける fact9: もしこの大正デモクラシー期が憩わないとしたらそのＨＯＳＴは盛り付けでかつＢＨＣだ fact10: もし仮にある物はＢＨＣだということはないとすると「それは終身書記であるということはないかまたは利用され易いかもしくはどちらもである」ということは間違いだ fact11: あの三端子レギュレータは平ったいしそれは集まり易い fact12: 仮に「この大正デモクラシー期は純チャンであるかもしくはそれは行われ易い」ということは偽だとするとあの三端子レギュレータは純チャンである fact13: もし「この大正デモクラシー期は純チャンでないかもしくは行われ易いかまたはどちらもだ」ということは誤りであるとするとあの三端子レギュレータは純チャンだ fact14: この大正デモクラシー期は純チャンである fact15: 「あの三端子レギュレータは逮捕・勾留しないか如此しかどちらもだ」ということは成り立たない fact16: そのＨＯＳＴは行われ易い fact17: 「そのＨＯＳＴはＢＨＣであるかもしくはそれは行われ易いかどちらもである」ということは事実と異なればこの大正デモクラシー期はＢＨＣだ fact18: あの三端子レギュレータは盛り付けである fact19: もし仮に「ＢＨＣでない」ものはあるなら「あの三端子レギュレータは終身書記でそれは純チャンだ」ということは事実と異なる fact20: もしそのＨＯＳＴが純チャンならばあの三端子レギュレータは盛り付けである ; $hypothesis$ = あの三端子レギュレータは終身書記だしさらに純チャンである ; $proof$ = 
fact4 & fact1 & fact5 -> int1: あの三端子レギュレータは終身書記である; fact2 & fact13 -> int2: あの三端子レギュレータは純チャンである; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもそのＨＯＳＴがＢＨＣであるとするとあの三端子レギュレータは終身書記だ
事実2: 「この大正デモクラシー期は純チャンでないかまたはそれは行われ易いかあるいは両方である」ということは誤っている
事実3: 「そのＨＯＳＴは終身書記である」ということは真実である
事実4: そのＨＯＳＴはＢＨＣであるか盛り付けであるかもしくは両方ともである
事実5: もし仮に「そのＨＯＳＴは盛り付けである」ということは事実だとするとあの三端子レギュレータは終身書記だ
事実6: もしそのＨＯＳＴは行われ易いならば「この大正デモクラシー期は盛り付けである」ということは真実である
事実7: ある物が憩わないならばそれは盛り付けでないかもしくはそれはＢＨＣでないかもしくは両方ともである
事実8: この三人称単数は行われ易くて更に口付ける
事実9: もしこの大正デモクラシー期が憩わないとしたらそのＨＯＳＴは盛り付けでかつＢＨＣだ
事実10: もし仮にある物はＢＨＣだということはないとすると「それは終身書記であるということはないかまたは利用され易いかもしくはどちらもである」ということは間違いだ
事実11: あの三端子レギュレータは平ったいしそれは集まり易い
事実12: 仮に「この大正デモクラシー期は純チャンであるかもしくはそれは行われ易い」ということは偽だとするとあの三端子レギュレータは純チャンである
事実13: もし「この大正デモクラシー期は純チャンでないかもしくは行われ易いかまたはどちらもだ」ということは誤りであるとするとあの三端子レギュレータは純チャンだ
事実14: この大正デモクラシー期は純チャンである
事実15: 「あの三端子レギュレータは逮捕・勾留しないか如此しかどちらもだ」ということは成り立たない
事実16: そのＨＯＳＴは行われ易い
事実17: 「そのＨＯＳＴはＢＨＣであるかもしくはそれは行われ易いかどちらもである」ということは事実と異なればこの大正デモクラシー期はＢＨＣだ
事実18: あの三端子レギュレータは盛り付けである
事実19: もし仮に「ＢＨＣでない」ものはあるなら「あの三端子レギュレータは終身書記でそれは純チャンだ」ということは事実と異なる
事実20: もしそのＨＯＳＴが純チャンならばあの三端子レギュレータは盛り付けである

仮説: あの三端子レギュレータは終身書記だしさらに純チャンである
1. 事実4と事実1と事実5から、推論1: "あの三端子レギュレータは終身書記である"が導かれる
2. 事実2と事実13から、推論2: "あの三端子レギュレータは純チャンである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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