あの畳は関係深くないか国際化しないかあるいはどちらもだ
fact1: もし「あの畳は見付け難い」ということは誤りだということはないとするとあの導出は余儀無い fact2: もしも「余儀無くない」物はあれば「あの導出は見付け難いかもしくは脅かさないかあるいは両方である」ということは誤っている fact3: もしもその待ち合わせが脅かすかあるいは見付け難いということはないかもしくはどちらもならあの畳は見付け難い fact4: 「あの導出は見付け難いか脅かすということはないかまたは両方だ」ということは事実でないならばあの畳は捏ち上げでない fact5: もしあの導出は関係深くないとすると「それは脅かすがしかしＨＰだということはない」ということは偽だ fact6: もしもあの導出が余儀無いならばあの祖父達は御気に為さるがしかし電気灯でない fact7: もし「あの畳は歌舞伎役者であるしそれはダットさんである」ということは真実だということはないならそれは歌舞伎役者でない fact8: 仮になんらかのものはＨＰであるということはないならば「関係深くないかまたはそれは国際化しない」ということは正しくない fact9: 「あの畳は歌舞伎役者であるしそれにダットさんだ」ということは間違いである fact10: 仮に何らかのものはＨＰでないとすると国際化する fact11: もしあの導出が百段階段であるかダットさんでないかもしくは両方ならそれはダットさんでない fact12: あの畳は脅かす fact13: 余儀無くないものはある fact14: もし仮にあの導出が余儀無いししかも関係深いとするとあの畳は関係深くない fact15: 仮になんらかのものが脅かさないならば関係深いしかつ見付け難い fact16: あの導出は基本的性質だ fact17: 「あの築造時期は供託書正本だが譲渡禁止特約でない」ということは嘘である fact18: なにがしかの物は見付け難い fact19: もしあの導出が基本的性質ならば捏ち上げである fact20: 「もしとある物はダットさんでないとすれば「勤むないしまた歌舞伎役者であるということはない」ということは誤りである」ということは本当だ fact21: あの導出は関係深い fact22: もしあの畳は歌舞伎役者でないとしたら「ＨＰだがしかし捏ち上げであるということはない」ということは成り立たない fact23: もし「洒落臭くない」ものはあるとすると「このＡＩＨは見付け難いか滲炭しないか両方である」ということは成り立たない fact24: 「「何かは勤むないしそれは歌舞伎役者でない」ということは間違いであるとすればそれは余儀無い」ということは正しい fact25: もし仮にこの季節性が捏ち上げだとするとその学童期は脅かす
fact13 & fact2 -> int1: 「あの導出は見付け難いかあるいは脅かさないかもしくはどちらもだ」ということは成り立たない; int1 & fact4 -> int2: あの畳は捏ち上げだということはない; void -> assump1: 以下のように仮定する。あの畳はＨＰだ; int2 & assump1 -> int3: あの畳はＨＰだが捏ち上げでない; fact9 & fact7 -> int4: あの畳は歌舞伎役者でない; fact22 & int4 -> int5: 「あの畳はＨＰだが捏ち上げでない」ということは確かでない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの畳はＨＰでない; fact8 -> int8: 仮にあの畳はＨＰでないとすると「関係深くないか国際化しないかあるいは両方だ」ということは真実でない; int7 & int8 -> hypothesis;
あの畳は関係深くないかまたは国際化しないかもしくは両方である
fact29 -> int9: 「あの導出は勤むないしその上歌舞伎役者でない」ということは事実と異なるとすると「余儀無い」ということは成り立つ; fact30 -> int10: もし仮にあの導出はダットさんでないとすれば「それは勤むないし更に歌舞伎役者でない」ということは事実でない; fact31 -> int11: もし仮にあの導出が脅かすということはないとしたら関係深いしそれは見付け難い; fact26 & fact32 -> int12: あの導出は捏ち上げだ;
$facts$ = fact1: もし「あの畳は見付け難い」ということは誤りだということはないとするとあの導出は余儀無い fact2: もしも「余儀無くない」物はあれば「あの導出は見付け難いかもしくは脅かさないかあるいは両方である」ということは誤っている fact3: もしもその待ち合わせが脅かすかあるいは見付け難いということはないかもしくはどちらもならあの畳は見付け難い fact4: 「あの導出は見付け難いか脅かすということはないかまたは両方だ」ということは事実でないならばあの畳は捏ち上げでない fact5: もしあの導出は関係深くないとすると「それは脅かすがしかしＨＰだということはない」ということは偽だ fact6: もしもあの導出が余儀無いならばあの祖父達は御気に為さるがしかし電気灯でない fact7: もし「あの畳は歌舞伎役者であるしそれはダットさんである」ということは真実だということはないならそれは歌舞伎役者でない fact8: 仮になんらかのものはＨＰであるということはないならば「関係深くないかまたはそれは国際化しない」ということは正しくない fact9: 「あの畳は歌舞伎役者であるしそれにダットさんだ」ということは間違いである fact10: 仮に何らかのものはＨＰでないとすると国際化する fact11: もしあの導出が百段階段であるかダットさんでないかもしくは両方ならそれはダットさんでない fact12: あの畳は脅かす fact13: 余儀無くないものはある fact14: もし仮にあの導出が余儀無いししかも関係深いとするとあの畳は関係深くない fact15: 仮になんらかのものが脅かさないならば関係深いしかつ見付け難い fact16: あの導出は基本的性質だ fact17: 「あの築造時期は供託書正本だが譲渡禁止特約でない」ということは嘘である fact18: なにがしかの物は見付け難い fact19: もしあの導出が基本的性質ならば捏ち上げである fact20: 「もしとある物はダットさんでないとすれば「勤むないしまた歌舞伎役者であるということはない」ということは誤りである」ということは本当だ fact21: あの導出は関係深い fact22: もしあの畳は歌舞伎役者でないとしたら「ＨＰだがしかし捏ち上げであるということはない」ということは成り立たない fact23: もし「洒落臭くない」ものはあるとすると「このＡＩＨは見付け難いか滲炭しないか両方である」ということは成り立たない fact24: 「「何かは勤むないしそれは歌舞伎役者でない」ということは間違いであるとすればそれは余儀無い」ということは正しい fact25: もし仮にこの季節性が捏ち上げだとするとその学童期は脅かす ; $hypothesis$ = あの畳は関係深くないか国際化しないかあるいはどちらもだ ; $proof$ = 
fact13 & fact2 -> int1: 「あの導出は見付け難いかあるいは脅かさないかもしくはどちらもだ」ということは成り立たない; int1 & fact4 -> int2: あの畳は捏ち上げだということはない; void -> assump1: 以下のように仮定する。あの畳はＨＰだ; int2 & assump1 -> int3: あの畳はＨＰだが捏ち上げでない; fact9 & fact7 -> int4: あの畳は歌舞伎役者でない; fact22 & int4 -> int5: 「あの畳はＨＰだが捏ち上げでない」ということは確かでない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの畳はＨＰでない; fact8 -> int8: 仮にあの畳はＨＰでないとすると「関係深くないか国際化しないかあるいは両方だ」ということは真実でない; int7 & int8 -> 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: もし「洒落臭くない」ものはあるとすると「このＡＩＨは見付け難いか滲炭しないか両方である」ということは成り立たない
事実24: 「「何かは勤むないしそれは歌舞伎役者でない」ということは間違いであるとすればそれは余儀無い」ということは正しい
事実25: もし仮にこの季節性が捏ち上げだとするとその学童期は脅かす

仮説: あの畳は関係深くないか国際化しないかあるいはどちらもだ
1. 事実13と事実2から、推論1: "「あの導出は見付け難いかあるいは脅かさないかもしくはどちらもだ」ということは成り立たない"が導かれる
2. 推論1と事実4から、推論2: "あの畳は捏ち上げだということはない"が導かれる
3. 仮定1: 以下のように仮定する。あの畳はＨＰだ
4. 推論2と仮定1から、推論3: "あの畳はＨＰだが捏ち上げでない"が導かれる
5. 事実9と事実7から、推論4: "あの畳は歌舞伎役者でない"が導かれる
6. 事実22と推論4から、推論5: "「あの畳はＨＰだが捏ち上げでない」ということは確かでない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの畳はＨＰでない"が導かれる
9. 事実8から、推論8: "仮にあの畳はＨＰでないとすると「関係深くないか国際化しないかあるいは両方だ」ということは真実でない"が導かれる
10. 推論7と推論8から、仮説が否定される

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