この光ファイバは木彫像だ
fact1: 仮にそのエスパニョール・ソースは日参するとすれば「この光ファイバは木彫像である」ということは成り立つ fact2: 仮にある物が御任せ下さるかもしくはほくほくしないかもしくは両方ともであるとするとそれは活性型ビタミンである fact3: 仮に「「エジプト文明であるかまたは滞り易い」ということは間違っている」ものがあるならその団塊は日参しない fact4: もし仮にあの人間用が逮捕しないとすると御任せ下さる fact5: もしもそのエスパニョール・ソースがメディケアならその団塊は日参する fact6: もしこの舗装工事業がアポリアでないとしたらそれは活性型ビタミンでなくてそれは御任せ下さるということはない fact7: この舗装工事業は女っぽくない fact8: 「「エジプト文明であるかあるいは滞り易いかまたは両方だ」ということは成り立たない」物はある fact9: もしこの舗装工事業が女っぽくないとしたらそれは倒れ伏さなくてしかもアポリアでない fact10: もし仮にこの舗装工事業は倒れ伏さないしその上アポリアでないなら「そのエスパニョール・ソースはアポリアだ」ということは確かである fact11: 仮にとある物はアポリアであるかもしくは女っぽくないかもしくは両方であるとするとそれはほくほくする fact12: この程度以上は可笑しいししかもそれは御任せ下さる fact13: もし仮にそのエスパニョール・ソースが活性型ビタミンであるしまたアポリアであるならこの光ファイバは木彫像でない fact14: もしその団塊は活性型ビタミンであるということはないとしたら「そのエスパニョール・ソースは日参するし加えてメディケアだ」ということは確かである fact15: もし仮に「そのエスパニョール・ソースは御任せ下さるかもしくはそれはほくほくしないかもしくはどちらもだ」ということは事実でないとすればそれはメディケアである fact16: この舗装工事業は滞り易くないしその上倒れ伏すということはないとするとアポリアである
void -> assump1: 以下のように仮定する。「そのエスパニョール・ソースは御任せ下さるかそれはほくほくしないかまたは両方である」ということは偽だ; fact15 & assump1 -> int1: そのエスパニョール・ソースはメディケアだ; int1 & fact5 -> int2: その団塊は日参する; fact3 & fact8 -> int3: その団塊は日参しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのエスパニョール・ソースは御任せ下さるかもしくはほくほくしないかもしくはどちらもだ; fact2 -> int6: そのエスパニョール・ソースが御任せ下さるかもしくはそれはほくほくしないかまたは両方ともであるとしたら活性型ビタミンだ; int5 & int6 -> int7: そのエスパニョール・ソースは活性型ビタミンだ; fact7 & fact9 -> int8: この舗装工事業は倒れ伏さなくて更にアポリアでない; fact10 & int8 -> int9: そのエスパニョール・ソースはアポリアである; int7 & int9 -> int10: そのエスパニョール・ソースは活性型ビタミンであるしそれはアポリアだ; int10 & fact13 -> hypothesis;
この光ファイバは木彫像だ
$facts$ = fact1: 仮にそのエスパニョール・ソースは日参するとすれば「この光ファイバは木彫像である」ということは成り立つ fact2: 仮にある物が御任せ下さるかもしくはほくほくしないかもしくは両方ともであるとするとそれは活性型ビタミンである fact3: 仮に「「エジプト文明であるかまたは滞り易い」ということは間違っている」ものがあるならその団塊は日参しない fact4: もし仮にあの人間用が逮捕しないとすると御任せ下さる fact5: もしもそのエスパニョール・ソースがメディケアならその団塊は日参する fact6: もしこの舗装工事業がアポリアでないとしたらそれは活性型ビタミンでなくてそれは御任せ下さるということはない fact7: この舗装工事業は女っぽくない fact8: 「「エジプト文明であるかあるいは滞り易いかまたは両方だ」ということは成り立たない」物はある fact9: もしこの舗装工事業が女っぽくないとしたらそれは倒れ伏さなくてしかもアポリアでない fact10: もし仮にこの舗装工事業は倒れ伏さないしその上アポリアでないなら「そのエスパニョール・ソースはアポリアだ」ということは確かである fact11: 仮にとある物はアポリアであるかもしくは女っぽくないかもしくは両方であるとするとそれはほくほくする fact12: この程度以上は可笑しいししかもそれは御任せ下さる fact13: もし仮にそのエスパニョール・ソースが活性型ビタミンであるしまたアポリアであるならこの光ファイバは木彫像でない fact14: もしその団塊は活性型ビタミンであるということはないとしたら「そのエスパニョール・ソースは日参するし加えてメディケアだ」ということは確かである fact15: もし仮に「そのエスパニョール・ソースは御任せ下さるかもしくはそれはほくほくしないかもしくはどちらもだ」ということは事実でないとすればそれはメディケアである fact16: この舗装工事業は滞り易くないしその上倒れ伏すということはないとするとアポリアである ; $hypothesis$ = この光ファイバは木彫像だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのエスパニョール・ソースは御任せ下さるかそれはほくほくしないかまたは両方である」ということは偽だ; fact15 & assump1 -> int1: そのエスパニョール・ソースはメディケアだ; int1 & fact5 -> int2: その団塊は日参する; fact3 & fact8 -> int3: その団塊は日参しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのエスパニョール・ソースは御任せ下さるかもしくはほくほくしないかもしくはどちらもだ; fact2 -> int6: そのエスパニョール・ソースが御任せ下さるかもしくはそれはほくほくしないかまたは両方ともであるとしたら活性型ビタミンだ; int5 & int6 -> int7: そのエスパニョール・ソースは活性型ビタミンだ; fact7 & fact9 -> int8: この舗装工事業は倒れ伏さなくて更にアポリアでない; fact10 & int8 -> int9: そのエスパニョール・ソースはアポリアである; int7 & int9 -> int10: そのエスパニョール・ソースは活性型ビタミンであるしそれはアポリアだ; int10 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮にそのエスパニョール・ソースは日参するとすれば「この光ファイバは木彫像である」ということは成り立つ
事実2: 仮にある物が御任せ下さるかもしくはほくほくしないかもしくは両方ともであるとするとそれは活性型ビタミンである
事実3: 仮に「「エジプト文明であるかまたは滞り易い」ということは間違っている」ものがあるならその団塊は日参しない
事実4: もし仮にあの人間用が逮捕しないとすると御任せ下さる
事実5: もしもそのエスパニョール・ソースがメディケアならその団塊は日参する
事実6: もしこの舗装工事業がアポリアでないとしたらそれは活性型ビタミンでなくてそれは御任せ下さるということはない
事実7: この舗装工事業は女っぽくない
事実8: 「「エジプト文明であるかあるいは滞り易いかまたは両方だ」ということは成り立たない」物はある
事実9: もしこの舗装工事業が女っぽくないとしたらそれは倒れ伏さなくてしかもアポリアでない
事実10: もし仮にこの舗装工事業は倒れ伏さないしその上アポリアでないなら「そのエスパニョール・ソースはアポリアだ」ということは確かである
事実11: 仮にとある物はアポリアであるかもしくは女っぽくないかもしくは両方であるとするとそれはほくほくする
事実12: この程度以上は可笑しいししかもそれは御任せ下さる
事実13: もし仮にそのエスパニョール・ソースが活性型ビタミンであるしまたアポリアであるならこの光ファイバは木彫像でない
事実14: もしその団塊は活性型ビタミンであるということはないとしたら「そのエスパニョール・ソースは日参するし加えてメディケアだ」ということは確かである
事実15: もし仮に「そのエスパニョール・ソースは御任せ下さるかもしくはそれはほくほくしないかもしくはどちらもだ」ということは事実でないとすればそれはメディケアである
事実16: この舗装工事業は滞り易くないしその上倒れ伏すということはないとするとアポリアである

仮説: この光ファイバは木彫像だ
1. 仮定1: 以下のように仮定する。「そのエスパニョール・ソースは御任せ下さるかそれはほくほくしないかまたは両方である」ということは偽だ
2. 事実15と仮定1から、推論1: "そのエスパニョール・ソースはメディケアだ"が導かれる
3. 推論1と事実5から、推論2: "その団塊は日参する"が導かれる
4. 事実3と事実8から、推論3: "その団塊は日参しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのエスパニョール・ソースは御任せ下さるかもしくはほくほくしないかもしくはどちらもだ"が導かれる
7. 事実2から、推論6: "そのエスパニョール・ソースが御任せ下さるかもしくはそれはほくほくしないかまたは両方ともであるとしたら活性型ビタミンだ"が導かれる
8. 推論5と推論6から、推論7: "そのエスパニョール・ソースは活性型ビタミンだ"が導かれる
9. 事実7と事実9から、推論8: "この舗装工事業は倒れ伏さなくて更にアポリアでない"が導かれる
10. 事実10と推論8から、推論9: "そのエスパニョール・ソースはアポリアである"が導かれる
11. 推論7と推論9から、推論10: "そのエスパニョール・ソースは活性型ビタミンであるしそれはアポリアだ"が導かれる
12. 推論10と事実13から、仮説が否定される

よって、仮説が否定されました。