「もし仮にあの掘っ立て柱建物が掛かり難くないとするとこの擦過傷は濁さない」ということは成り立たない
fact1: とある物が艶っぽいならそれは掛かり難い fact2: もしも「乗り難い」ものがあるならその見参は金犬騎士団であるかまたは濁すかあるいは両方である fact3: もしなんらかの物は哀れっぽいならば「めそめそする」ということは成り立つ fact4: 「この擦過傷は形容し難くない一方でそれは占領国だ」ということは間違いだとすればそれは濁す fact5: もしこの擦過傷が形容し難くてさらに占領国ならその見参は艶っぽい fact6: もしこの擦過傷が形容し難いとしたらそれは濁すということはない fact7: もし「あるものは形容し難いということはない一方で占領国だ」ということは偽だとしたら濁さない fact8: もしもこの擦過傷が形容し難くない一方で占領国であるならばあの見参は艶っぽい fact9: 仮にその見参が艶っぽいとするとあの掘っ立て柱建物は掛かり難い fact10: この擦過傷は濁す fact11: もし仮にその見参が金犬騎士団だとしたらこの擦過傷は濁す fact12: もし仮にある物が濁すとすれば艶っぽい fact13: もしある物が下り立たないとするとそれは選り取るしそれは哀れっぽい fact14: 「その見参は濁すしまたそれは艶っぽい」ということは誤っている fact15: もし仮にその見参が濁すならばあの擦過傷は濁す fact16: もし仮に「何らかのものは形容し難くないが占領国だ」ということは成り立たないならば濁す fact17: 仮にこの擦過傷が掛かり難いならあの掘っ立て柱建物は占領国である fact18: もし仮にこの月面が跨げば下り立たない fact19: この擦過傷は形容し難くない fact20: この月面は跨ぐ fact21: 仮にあの掘っ立て柱建物が掛かり難いということはないとするとこの擦過傷は濁す fact22: もし仮に何らかのものが形容し難いならば濁さない fact23: もし仮になんらかのものがめそめそするとするとそれは乗り難い
void -> assump1: 以下のように仮定する。この擦過傷は形容し難いということはないが占領国である; fact8 & assump1 -> int1: その見参は艶っぽい; int1 & fact9 -> int2: あの掘っ立て柱建物は掛かり難い; void -> assump2: 以下のように仮定する。あの掘っ立て柱建物は掛かり難くない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この擦過傷は形容し難くないがしかし占領国だ」ということは成り立たない; fact7 -> int5: もしも「この擦過傷は形容し難くないがしかし占領国だ」ということは事実と異なるとしたら濁さない; int4 & int5 -> int6: この擦過傷は濁さない; [assump2] & int6 -> hypothesis;
あの掘っ立て柱建物は占領国だ
fact33 -> int7: もしもこの擦過傷が艶っぽいとするとそれは掛かり難い; fact32 -> int8: もしこの擦過傷が濁せば艶っぽい; fact29 -> int9: もしこの月面がめそめそするとするとそれは乗り難い; fact31 -> int10: もしもこの月面が哀れっぽいならめそめそする; fact26 -> int11: もしもこの月面が下り立つということはないとしたらそれは選り取るしかつ哀れっぽい; fact30 & fact25 -> int12: この月面は下り立たない; int11 & int12 -> int13: この月面は選り取るし哀れっぽい; int13 -> int14: この月面は哀れっぽい; int10 & int14 -> int15: この月面はめそめそする; int9 & int15 -> int16: この月面は乗り難い; int16 -> int17: 「乗り難い」ものはある; int17 & fact24 -> int18: その見参は金犬騎士団であるかもしくはそれは濁すかまたはどちらもである; int18 & fact34 & fact27 -> int19: この擦過傷は濁す; int8 & int19 -> int20: 「この擦過傷は艶っぽい」ということは真実だ; int7 & int20 -> int21: この擦過傷は掛かり難い; fact28 & int21 -> hypothesis;
$facts$ = fact1: とある物が艶っぽいならそれは掛かり難い fact2: もしも「乗り難い」ものがあるならその見参は金犬騎士団であるかまたは濁すかあるいは両方である fact3: もしなんらかの物は哀れっぽいならば「めそめそする」ということは成り立つ fact4: 「この擦過傷は形容し難くない一方でそれは占領国だ」ということは間違いだとすればそれは濁す fact5: もしこの擦過傷が形容し難くてさらに占領国ならその見参は艶っぽい fact6: もしこの擦過傷が形容し難いとしたらそれは濁すということはない fact7: もし「あるものは形容し難いということはない一方で占領国だ」ということは偽だとしたら濁さない fact8: もしもこの擦過傷が形容し難くない一方で占領国であるならばあの見参は艶っぽい fact9: 仮にその見参が艶っぽいとするとあの掘っ立て柱建物は掛かり難い fact10: この擦過傷は濁す fact11: もし仮にその見参が金犬騎士団だとしたらこの擦過傷は濁す fact12: もし仮にある物が濁すとすれば艶っぽい fact13: もしある物が下り立たないとするとそれは選り取るしそれは哀れっぽい fact14: 「その見参は濁すしまたそれは艶っぽい」ということは誤っている fact15: もし仮にその見参が濁すならばあの擦過傷は濁す fact16: もし仮に「何らかのものは形容し難くないが占領国だ」ということは成り立たないならば濁す fact17: 仮にこの擦過傷が掛かり難いならあの掘っ立て柱建物は占領国である fact18: もし仮にこの月面が跨げば下り立たない fact19: この擦過傷は形容し難くない fact20: この月面は跨ぐ fact21: 仮にあの掘っ立て柱建物が掛かり難いということはないとするとこの擦過傷は濁す fact22: もし仮に何らかのものが形容し難いならば濁さない fact23: もし仮になんらかのものがめそめそするとするとそれは乗り難い ; $hypothesis$ = 「もし仮にあの掘っ立て柱建物が掛かり難くないとするとこの擦過傷は濁さない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この擦過傷は形容し難いということはないが占領国である; fact8 & assump1 -> int1: その見参は艶っぽい; int1 & fact9 -> int2: あの掘っ立て柱建物は掛かり難い; void -> assump2: 以下のように仮定する。あの掘っ立て柱建物は掛かり難くない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この擦過傷は形容し難くないがしかし占領国だ」ということは成り立たない; fact7 -> int5: もしも「この擦過傷は形容し難くないがしかし占領国だ」ということは事実と異なるとしたら濁さない; int4 & int5 -> int6: この擦過傷は濁さない; [assump2] & int6 -> hypothesis; __DISPROVED__
事実1: とある物が艶っぽいならそれは掛かり難い
事実2: もしも「乗り難い」ものがあるならその見参は金犬騎士団であるかまたは濁すかあるいは両方である
事実3: もしなんらかの物は哀れっぽいならば「めそめそする」ということは成り立つ
事実4: 「この擦過傷は形容し難くない一方でそれは占領国だ」ということは間違いだとすればそれは濁す
事実5: もしこの擦過傷が形容し難くてさらに占領国ならその見参は艶っぽい
事実6: もしこの擦過傷が形容し難いとしたらそれは濁すということはない
事実7: もし「あるものは形容し難いということはない一方で占領国だ」ということは偽だとしたら濁さない
事実8: もしもこの擦過傷が形容し難くない一方で占領国であるならばあの見参は艶っぽい
事実9: 仮にその見参が艶っぽいとするとあの掘っ立て柱建物は掛かり難い
事実10: この擦過傷は濁す
事実11: もし仮にその見参が金犬騎士団だとしたらこの擦過傷は濁す
事実12: もし仮にある物が濁すとすれば艶っぽい
事実13: もしある物が下り立たないとするとそれは選り取るしそれは哀れっぽい
事実14: 「その見参は濁すしまたそれは艶っぽい」ということは誤っている
事実15: もし仮にその見参が濁すならばあの擦過傷は濁す
事実16: もし仮に「何らかのものは形容し難くないが占領国だ」ということは成り立たないならば濁す
事実17: 仮にこの擦過傷が掛かり難いならあの掘っ立て柱建物は占領国である
事実18: もし仮にこの月面が跨げば下り立たない
事実19: この擦過傷は形容し難くない
事実20: この月面は跨ぐ
事実21: 仮にあの掘っ立て柱建物が掛かり難いということはないとするとこの擦過傷は濁す
事実22: もし仮に何らかのものが形容し難いならば濁さない
事実23: もし仮になんらかのものがめそめそするとするとそれは乗り難い

仮説: 「もし仮にあの掘っ立て柱建物が掛かり難くないとするとこの擦過傷は濁さない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この擦過傷は形容し難いということはないが占領国である
2. 事実8と仮定1から、推論1: "その見参は艶っぽい"が導かれる
3. 推論1と事実9から、推論2: "あの掘っ立て柱建物は掛かり難い"が導かれる
4. 仮定2: 以下のように仮定する。あの掘っ立て柱建物は掛かり難くない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「この擦過傷は形容し難くないがしかし占領国だ」ということは成り立たない"が導かれる
7. 事実7から、推論5: "もしも「この擦過傷は形容し難くないがしかし占領国だ」ということは事実と異なるとしたら濁さない"が導かれる
8. 推論4と推論5から、推論6: "この擦過傷は濁さない"が導かれる
9. [仮定2]と推論6から、仮説が否定される

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