あの家族機能は担保受け入れ先だ
fact1: 仮にこの御呪いがうつ伏せないなら除隊しないし浴び過ぎる fact2: もしも「あの家族機能は引き易いかあるいはそれは優越するかあるいは両方だ」ということは正しいとすればこの御呪いは浴び過ぎるということはない fact3: この村長さんはうつ伏せない fact4: この御呪いは男っぽい fact5: この御呪いはうつ伏せない fact6: この御呪いは除隊するということはない fact7: 「この御呪いは信心深くない」ということは事実と異ならないとしたらそれはうつ伏せるということはない fact8: その胸飾りはうつ伏せない fact9: あの家族機能は男っぽいかあるいは誰彼でない fact10: もしある物は男っぽくないかあるいは誰彼であるということはないか両方だとすればそれは担保受け入れ先でない fact11: あの揚げ代は本最判であるか生え易いかまたは両方ともだ fact12: この美粧堂はうつ伏せない fact13: あの家族機能は男っぽい fact14: もし仮になんらかのものが優越するならそれはうつ伏せる fact15: もしもあの家族機能が引き易くないかあるいは信心深くないとしたら浴び過ぎない fact16: 仮に「「あの家族機能は男っぽくないか誰彼でないかまたは両方だ」ということは成り立たない」ということは確かだとしたらそれは信心深い fact17: もし仮にあの家族機能は男っぽくないならば「それは担保受け入れ先でない」ということは成り立つ fact18: 信心深い物は優越する fact19: この御呪いは担保受け入れ先だということはない fact20: この御呪いがうつ伏せないとしたら除隊しない fact21: もしこの御呪いが信心深くないとしたら除隊しないしまたそれは引き易い
void -> assump1: 以下のように仮定する。「あの家族機能は男っぽくないかまたは誰彼でないかあるいはどちらもだ」ということは間違いである; fact16 & assump1 -> int1: あの家族機能は信心深い; fact18 -> int2: もし仮に「あの家族機能は信心深い」ということは真実だとするとそれは優越する; int1 & int2 -> int3: あの家族機能は優越する; int3 -> int4: あの家族機能は引き易いかもしくはそれは優越するかどちらもだ; int4 & fact2 -> int5: この御呪いは浴び過ぎるということはない; fact1 & fact5 -> int6: 「この御呪いは除隊するということはないけど浴び過ぎる」ということは成り立つ; int6 -> int7: 「この御呪いは浴び過ぎる」ということは真実である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの家族機能は男っぽくないかまたはそれは誰彼であるということはないかまたはどちらもだ; fact10 -> int10: 仮にあの家族機能が男っぽくないかもしくはそれは誰彼でないとするとそれは担保受け入れ先でない; int9 & int10 -> hypothesis;
$facts$ = fact1: 仮にこの御呪いがうつ伏せないなら除隊しないし浴び過ぎる fact2: もしも「あの家族機能は引き易いかあるいはそれは優越するかあるいは両方だ」ということは正しいとすればこの御呪いは浴び過ぎるということはない fact3: この村長さんはうつ伏せない fact4: この御呪いは男っぽい fact5: この御呪いはうつ伏せない fact6: この御呪いは除隊するということはない fact7: 「この御呪いは信心深くない」ということは事実と異ならないとしたらそれはうつ伏せるということはない fact8: その胸飾りはうつ伏せない fact9: あの家族機能は男っぽいかあるいは誰彼でない fact10: もしある物は男っぽくないかあるいは誰彼であるということはないか両方だとすればそれは担保受け入れ先でない fact11: あの揚げ代は本最判であるか生え易いかまたは両方ともだ fact12: この美粧堂はうつ伏せない fact13: あの家族機能は男っぽい fact14: もし仮になんらかのものが優越するならそれはうつ伏せる fact15: もしもあの家族機能が引き易くないかあるいは信心深くないとしたら浴び過ぎない fact16: 仮に「「あの家族機能は男っぽくないか誰彼でないかまたは両方だ」ということは成り立たない」ということは確かだとしたらそれは信心深い fact17: もし仮にあの家族機能は男っぽくないならば「それは担保受け入れ先でない」ということは成り立つ fact18: 信心深い物は優越する fact19: この御呪いは担保受け入れ先だということはない fact20: この御呪いがうつ伏せないとしたら除隊しない fact21: もしこの御呪いが信心深くないとしたら除隊しないしまたそれは引き易い ; $hypothesis$ = あの家族機能は担保受け入れ先だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの家族機能は男っぽくないかまたは誰彼でないかあるいはどちらもだ」ということは間違いである; fact16 & assump1 -> int1: あの家族機能は信心深い; fact18 -> int2: もし仮に「あの家族機能は信心深い」ということは真実だとするとそれは優越する; int1 & int2 -> int3: あの家族機能は優越する; int3 -> int4: あの家族機能は引き易いかもしくはそれは優越するかどちらもだ; int4 & fact2 -> int5: この御呪いは浴び過ぎるということはない; fact1 & fact5 -> int6: 「この御呪いは除隊するということはないけど浴び過ぎる」ということは成り立つ; int6 -> int7: 「この御呪いは浴び過ぎる」ということは真実である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの家族機能は男っぽくないかまたはそれは誰彼であるということはないかまたはどちらもだ; fact10 -> int10: 仮にあの家族機能が男っぽくないかもしくはそれは誰彼でないとするとそれは担保受け入れ先でない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮にこの御呪いがうつ伏せないなら除隊しないし浴び過ぎる
事実2: もしも「あの家族機能は引き易いかあるいはそれは優越するかあるいは両方だ」ということは正しいとすればこの御呪いは浴び過ぎるということはない
事実3: この村長さんはうつ伏せない
事実4: この御呪いは男っぽい
事実5: この御呪いはうつ伏せない
事実6: この御呪いは除隊するということはない
事実7: 「この御呪いは信心深くない」ということは事実と異ならないとしたらそれはうつ伏せるということはない
事実8: その胸飾りはうつ伏せない
事実9: あの家族機能は男っぽいかあるいは誰彼でない
事実10: もしある物は男っぽくないかあるいは誰彼であるということはないか両方だとすればそれは担保受け入れ先でない
事実11: あの揚げ代は本最判であるか生え易いかまたは両方ともだ
事実12: この美粧堂はうつ伏せない
事実13: あの家族機能は男っぽい
事実14: もし仮になんらかのものが優越するならそれはうつ伏せる
事実15: もしもあの家族機能が引き易くないかあるいは信心深くないとしたら浴び過ぎない
事実16: 仮に「「あの家族機能は男っぽくないか誰彼でないかまたは両方だ」ということは成り立たない」ということは確かだとしたらそれは信心深い
事実17: もし仮にあの家族機能は男っぽくないならば「それは担保受け入れ先でない」ということは成り立つ
事実18: 信心深い物は優越する
事実19: この御呪いは担保受け入れ先だということはない
事実20: この御呪いがうつ伏せないとしたら除隊しない
事実21: もしこの御呪いが信心深くないとしたら除隊しないしまたそれは引き易い

仮説: あの家族機能は担保受け入れ先だ
1. 仮定1: 以下のように仮定する。「あの家族機能は男っぽくないかまたは誰彼でないかあるいはどちらもだ」ということは間違いである
2. 事実16と仮定1から、推論1: "あの家族機能は信心深い"が導かれる
3. 事実18から、推論2: "もし仮に「あの家族機能は信心深い」ということは真実だとするとそれは優越する"が導かれる
4. 推論1と推論2から、推論3: "あの家族機能は優越する"が導かれる
5. 推論3から、推論4: "あの家族機能は引き易いかもしくはそれは優越するかどちらもだ"が導かれる
6. 推論4と事実2から、推論5: "この御呪いは浴び過ぎるということはない"が導かれる
7. 事実1と事実5から、推論6: "「この御呪いは除隊するということはないけど浴び過ぎる」ということは成り立つ"が導かれる
8. 推論6から、推論7: "「この御呪いは浴び過ぎる」ということは真実である"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの家族機能は男っぽくないかまたはそれは誰彼であるということはないかまたはどちらもだ"が導かれる
11. 事実10から、推論10: "仮にあの家族機能が男っぽくないかもしくはそれは誰彼でないとするとそれは担保受け入れ先でない"が導かれる
12. 推論9と推論10から、仮説が否定される

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