「もしこの同位置が慎み深いならこのショッピング・センターは舵取りだ」ということは成り立つということはない
fact1: もしこの同位置が年長さんだけどそれが慎み深くないとすればその角鹿は豪雪地帯でない fact2: 「この同位置は豪雪地帯でない」ということは確かだ fact3: 仮に「その角鹿は忘れっぽい」ということは正しいとしたらこのフルーティストは豪雪地帯だ fact4: このフルーティストは舵取りでない fact5: もしこのフルーティストが忘れっぽいとするとこのショッピング・センターは舵取りだ fact6: もしもその角鹿は豪雪地帯だがしかし年長さんでないとすれば「この同位置は慎み深くない」ということは正しい fact7: もしもその角鹿が豪雪地帯でないとすればこのフルーティストは忘れっぽい fact8: もしも「このショッピング・センターは舵取りであるが年長さんでない」ということは間違っているならその角鹿は豪雪地帯だ fact9: 「もしこのショッピング・センターが慎み深いならこの同位置は舵取りだ」ということは本当だ fact10: 仮に「この同位置は舵取りである」ということは間違っていないならこのショッピング・センターは慎み深い fact11: 「この同位置は慎み深いけど舵取りであるということはない」ということは成り立つということはないならばこのフルーティストは忘れっぽい fact12: この中等音声国語教育は年長さんだ fact13: その角鹿は慎み深くない fact14: 仮に「その角鹿は豪雪地帯だけど年長さんだということはない」ということは偽ならばあのフルーティストは忘れっぽい fact15: このショッピング・センターは豪雪地帯だ
void -> assump1: 以下のように仮定する。その角鹿は豪雪地帯であるが年長さんであるということはない; fact6 & assump1 -> int1: この同位置は慎み深くない; void -> assump2: 以下のように仮定する。「この同位置は慎み深い」ということは真実だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その角鹿は豪雪地帯であるけど年長さんでない」ということは誤っている; int3 & fact14 -> int4: このフルーティストは忘れっぽい; int4 & fact5 -> int5: このショッピング・センターは舵取りである; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もしこの同位置が年長さんだけどそれが慎み深くないとすればその角鹿は豪雪地帯でない fact2: 「この同位置は豪雪地帯でない」ということは確かだ fact3: 仮に「その角鹿は忘れっぽい」ということは正しいとしたらこのフルーティストは豪雪地帯だ fact4: このフルーティストは舵取りでない fact5: もしこのフルーティストが忘れっぽいとするとこのショッピング・センターは舵取りだ fact6: もしもその角鹿は豪雪地帯だがしかし年長さんでないとすれば「この同位置は慎み深くない」ということは正しい fact7: もしもその角鹿が豪雪地帯でないとすればこのフルーティストは忘れっぽい fact8: もしも「このショッピング・センターは舵取りであるが年長さんでない」ということは間違っているならその角鹿は豪雪地帯だ fact9: 「もしこのショッピング・センターが慎み深いならこの同位置は舵取りだ」ということは本当だ fact10: 仮に「この同位置は舵取りである」ということは間違っていないならこのショッピング・センターは慎み深い fact11: 「この同位置は慎み深いけど舵取りであるということはない」ということは成り立つということはないならばこのフルーティストは忘れっぽい fact12: この中等音声国語教育は年長さんだ fact13: その角鹿は慎み深くない fact14: 仮に「その角鹿は豪雪地帯だけど年長さんだということはない」ということは偽ならばあのフルーティストは忘れっぽい fact15: このショッピング・センターは豪雪地帯だ ; $hypothesis$ = 「もしこの同位置が慎み深いならこのショッピング・センターは舵取りだ」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その角鹿は豪雪地帯であるが年長さんであるということはない; fact6 & assump1 -> int1: この同位置は慎み深くない; void -> assump2: 以下のように仮定する。「この同位置は慎み深い」ということは真実だ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その角鹿は豪雪地帯であるけど年長さんでない」ということは誤っている; int3 & fact14 -> int4: このフルーティストは忘れっぽい; int4 & fact5 -> int5: このショッピング・センターは舵取りである; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もしこの同位置が年長さんだけどそれが慎み深くないとすればその角鹿は豪雪地帯でない
事実2: 「この同位置は豪雪地帯でない」ということは確かだ
事実3: 仮に「その角鹿は忘れっぽい」ということは正しいとしたらこのフルーティストは豪雪地帯だ
事実4: このフルーティストは舵取りでない
事実5: もしこのフルーティストが忘れっぽいとするとこのショッピング・センターは舵取りだ
事実6: もしもその角鹿は豪雪地帯だがしかし年長さんでないとすれば「この同位置は慎み深くない」ということは正しい
事実7: もしもその角鹿が豪雪地帯でないとすればこのフルーティストは忘れっぽい
事実8: もしも「このショッピング・センターは舵取りであるが年長さんでない」ということは間違っているならその角鹿は豪雪地帯だ
事実9: 「もしこのショッピング・センターが慎み深いならこの同位置は舵取りだ」ということは本当だ
事実10: 仮に「この同位置は舵取りである」ということは間違っていないならこのショッピング・センターは慎み深い
事実11: 「この同位置は慎み深いけど舵取りであるということはない」ということは成り立つということはないならばこのフルーティストは忘れっぽい
事実12: この中等音声国語教育は年長さんだ
事実13: その角鹿は慎み深くない
事実14: 仮に「その角鹿は豪雪地帯だけど年長さんだということはない」ということは偽ならばあのフルーティストは忘れっぽい
事実15: このショッピング・センターは豪雪地帯だ

仮説: 「もしこの同位置が慎み深いならこのショッピング・センターは舵取りだ」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その角鹿は豪雪地帯であるが年長さんであるということはない
2. 事実6と仮定1から、推論1: "この同位置は慎み深くない"が導かれる
3. 仮定2: 以下のように仮定する。「この同位置は慎み深い」ということは真実だ
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「その角鹿は豪雪地帯であるけど年長さんでない」ということは誤っている"が導かれる
6. 推論3と事実14から、推論4: "このフルーティストは忘れっぽい"が導かれる
7. 推論4と事実5から、推論5: "このショッピング・センターは舵取りである"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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