「そのナナミ達は戻り易いし狙い難い」ということは嘘だ
fact1: この八千年前が寛永寺でないとしたらそのナナミ達が戻り易いしその上それは狙い難い fact2: もし仮にこの八千年前は田園地帯でないならば「それは寛永寺であるということはない」ということは確かだ fact3: この八千年前は程度以上だしそれに預け入れる fact4: この八千年前は狭苦しくないかもしくはそれは田園地帯であるということはない fact5: もしもそのナナミ達は戻り易くないかもしくは狭苦しくないかあるいはどちらもだとするとそれは田園地帯でない fact6: この八千年前は松原市域でないかそれは小野家でない fact7: もし「この八千年前は狭苦しくないかまたはそれは田園地帯だということはない」ということは正しいとしたら寛永寺でない fact8: 厚くないものは寛永寺であるかもしくは親馬鹿でないかもしくは両方だ fact9: もし仮にそのナナミ達が田園地帯でないとすればこの八千年前は狙い難いしまたそれは戻り易い fact10: もし仮に「そのナナミ達は田園地帯でない」ということは成り立てばこの八千年前は戻り易い fact11: もしもそのナナミ達が戻り易くないかあるいはそれは寛永寺でないか両方であるとしたらそれは狭苦しくない fact12: 「この八千年前は戻り易いということはないかもしくは寛永寺でないかもしくは両方である」ということは成り立つ fact13: 仮に何かは寛永寺でないならば「それは戻り易くて狙い難い」ということは嘘である fact14: そのナナミ達は在処だし更にせこい fact15: もしもこの八千年前が預け入れるしまたそれが書き易いなら厚くない
fact7 & fact4 -> int1: この八千年前は寛永寺だということはない; int1 & fact1 -> hypothesis;
「「そのナナミ達は戻り易いし更にそれは狙い難い」ということは間違っている」ということは本当だ
fact18 -> int2: 仮にそのナナミ達は寛永寺だということはないとすると「戻り易いしまた狙い難い」ということは成り立たない; fact17 -> int3: もしこの八千年前が厚いということはないとしたらそれは寛永寺であるかあるいはそれは親馬鹿でない; fact19 -> int4: この八千年前は預け入れる;
$facts$ = fact1: この八千年前が寛永寺でないとしたらそのナナミ達が戻り易いしその上それは狙い難い fact2: もし仮にこの八千年前は田園地帯でないならば「それは寛永寺であるということはない」ということは確かだ fact3: この八千年前は程度以上だしそれに預け入れる fact4: この八千年前は狭苦しくないかもしくはそれは田園地帯であるということはない fact5: もしもそのナナミ達は戻り易くないかもしくは狭苦しくないかあるいはどちらもだとするとそれは田園地帯でない fact6: この八千年前は松原市域でないかそれは小野家でない fact7: もし「この八千年前は狭苦しくないかまたはそれは田園地帯だということはない」ということは正しいとしたら寛永寺でない fact8: 厚くないものは寛永寺であるかもしくは親馬鹿でないかもしくは両方だ fact9: もし仮にそのナナミ達が田園地帯でないとすればこの八千年前は狙い難いしまたそれは戻り易い fact10: もし仮に「そのナナミ達は田園地帯でない」ということは成り立てばこの八千年前は戻り易い fact11: もしもそのナナミ達が戻り易くないかあるいはそれは寛永寺でないか両方であるとしたらそれは狭苦しくない fact12: 「この八千年前は戻り易いということはないかもしくは寛永寺でないかもしくは両方である」ということは成り立つ fact13: 仮に何かは寛永寺でないならば「それは戻り易くて狙い難い」ということは嘘である fact14: そのナナミ達は在処だし更にせこい fact15: もしもこの八千年前が預け入れるしまたそれが書き易いなら厚くない ; $hypothesis$ = 「そのナナミ達は戻り易いし狙い難い」ということは嘘だ ; $proof$ = 
fact7 & fact4 -> int1: この八千年前は寛永寺だということはない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: この八千年前が寛永寺でないとしたらそのナナミ達が戻り易いしその上それは狙い難い
事実2: もし仮にこの八千年前は田園地帯でないならば「それは寛永寺であるということはない」ということは確かだ
事実3: この八千年前は程度以上だしそれに預け入れる
事実4: この八千年前は狭苦しくないかもしくはそれは田園地帯であるということはない
事実5: もしもそのナナミ達は戻り易くないかもしくは狭苦しくないかあるいはどちらもだとするとそれは田園地帯でない
事実6: この八千年前は松原市域でないかそれは小野家でない
事実7: もし「この八千年前は狭苦しくないかまたはそれは田園地帯だということはない」ということは正しいとしたら寛永寺でない
事実8: 厚くないものは寛永寺であるかもしくは親馬鹿でないかもしくは両方だ
事実9: もし仮にそのナナミ達が田園地帯でないとすればこの八千年前は狙い難いしまたそれは戻り易い
事実10: もし仮に「そのナナミ達は田園地帯でない」ということは成り立てばこの八千年前は戻り易い
事実11: もしもそのナナミ達が戻り易くないかあるいはそれは寛永寺でないか両方であるとしたらそれは狭苦しくない
事実12: 「この八千年前は戻り易いということはないかもしくは寛永寺でないかもしくは両方である」ということは成り立つ
事実13: 仮に何かは寛永寺でないならば「それは戻り易くて狙い難い」ということは嘘である
事実14: そのナナミ達は在処だし更にせこい
事実15: もしもこの八千年前が預け入れるしまたそれが書き易いなら厚くない

仮説: 「そのナナミ達は戻り易いし狙い難い」ということは嘘だ
1. 事実7と事実4から、推論1: "この八千年前は寛永寺だということはない"が導かれる
2. 推論1と事実1から、仮説が否定される

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