あの十一月発行は百年前でない
fact1: 荒い物は百年前であるけれど鶏達でない fact2: もし仮にあのアップル本社が吸い取るとしたらその人道支援物資は荒い fact3: もしもその桜色が百年前だししかも数十年前だとしたらあの十一月発行は百年前でない fact4: すべてのものは吸い取らなくて加えて久しない fact5: 仮になにかは吸い取らないなら「吹け上がるしおまけに残る」ということは成り立たない fact6: もしも「この航空運賃は数十年前であるということはないかあるいはそれは荒いかあるいは両方ともだ」ということは誤りであるとするとあの十一月発行は百年前だ fact7: 御労しくないものは荒くて百年前だ fact8: もし何かは鶏達でないとすれば「数十年前でないかあるいはそれは荒い」ということは嘘だ fact9: 荒いものは鶏達だということはなくてしかも数十年前でない fact10: 掛かり難くないが封印するというものはない fact11: もしもその桜色が残らないかまたはそれは御労しくないかまたは両方であるとするとそれは数十年前だ fact12: その人道支援物資が荒いとすればその桜色は荒い fact13: 「なにがしかの物は掛かり難くないがしかし封印する」ということは間違いであるとすれば「それは鶏達であるということはない」ということは本当である
fact13 -> int1: 「この航空運賃は掛かり難くない一方で封印する」ということは誤りであるとしたら鶏達でない; fact10 -> int2: 「この航空運賃は掛かり難くないが封印する」ということは成り立たない; int1 & int2 -> int3: この航空運賃は鶏達でない; fact8 -> int4: 「この航空運賃は鶏達でない」ということは間違っていないとすれば「それは数十年前でないかそれは荒いか両方ともである」ということは成り立たない; int3 & int4 -> int5: 「この航空運賃は数十年前でないかあるいは荒いかまたはどちらもだ」ということは事実でない; int5 & fact6 -> hypothesis;
あの十一月発行は百年前でない
fact16 -> int6: もしその桜色が荒いとすればそれは百年前であるし鶏達でない;
$facts$ = fact1: 荒い物は百年前であるけれど鶏達でない fact2: もし仮にあのアップル本社が吸い取るとしたらその人道支援物資は荒い fact3: もしもその桜色が百年前だししかも数十年前だとしたらあの十一月発行は百年前でない fact4: すべてのものは吸い取らなくて加えて久しない fact5: 仮になにかは吸い取らないなら「吹け上がるしおまけに残る」ということは成り立たない fact6: もしも「この航空運賃は数十年前であるということはないかあるいはそれは荒いかあるいは両方ともだ」ということは誤りであるとするとあの十一月発行は百年前だ fact7: 御労しくないものは荒くて百年前だ fact8: もし何かは鶏達でないとすれば「数十年前でないかあるいはそれは荒い」ということは嘘だ fact9: 荒いものは鶏達だということはなくてしかも数十年前でない fact10: 掛かり難くないが封印するというものはない fact11: もしもその桜色が残らないかまたはそれは御労しくないかまたは両方であるとするとそれは数十年前だ fact12: その人道支援物資が荒いとすればその桜色は荒い fact13: 「なにがしかの物は掛かり難くないがしかし封印する」ということは間違いであるとすれば「それは鶏達であるということはない」ということは本当である ; $hypothesis$ = あの十一月発行は百年前でない ; $proof$ = 
fact13 -> int1: 「この航空運賃は掛かり難くない一方で封印する」ということは誤りであるとしたら鶏達でない; fact10 -> int2: 「この航空運賃は掛かり難くないが封印する」ということは成り立たない; int1 & int2 -> int3: この航空運賃は鶏達でない; fact8 -> int4: 「この航空運賃は鶏達でない」ということは間違っていないとすれば「それは数十年前でないかそれは荒いか両方ともである」ということは成り立たない; int3 & int4 -> int5: 「この航空運賃は数十年前でないかあるいは荒いかまたはどちらもだ」ということは事実でない; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: 荒い物は百年前であるけれど鶏達でない
事実2: もし仮にあのアップル本社が吸い取るとしたらその人道支援物資は荒い
事実3: もしもその桜色が百年前だししかも数十年前だとしたらあの十一月発行は百年前でない
事実4: すべてのものは吸い取らなくて加えて久しない
事実5: 仮になにかは吸い取らないなら「吹け上がるしおまけに残る」ということは成り立たない
事実6: もしも「この航空運賃は数十年前であるということはないかあるいはそれは荒いかあるいは両方ともだ」ということは誤りであるとするとあの十一月発行は百年前だ
事実7: 御労しくないものは荒くて百年前だ
事実8: もし何かは鶏達でないとすれば「数十年前でないかあるいはそれは荒い」ということは嘘だ
事実9: 荒いものは鶏達だということはなくてしかも数十年前でない
事実10: 掛かり難くないが封印するというものはない
事実11: もしもその桜色が残らないかまたはそれは御労しくないかまたは両方であるとするとそれは数十年前だ
事実12: その人道支援物資が荒いとすればその桜色は荒い
事実13: 「なにがしかの物は掛かり難くないがしかし封印する」ということは間違いであるとすれば「それは鶏達であるということはない」ということは本当である

仮説: あの十一月発行は百年前でない
1. 事実13から、推論1: "「この航空運賃は掛かり難くない一方で封印する」ということは誤りであるとしたら鶏達でない"が導かれる
2. 事実10から、推論2: "「この航空運賃は掛かり難くないが封印する」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この航空運賃は鶏達でない"が導かれる
4. 事実8から、推論4: "「この航空運賃は鶏達でない」ということは間違っていないとすれば「それは数十年前でないかそれは荒いか両方ともである」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "「この航空運賃は数十年前でないかあるいは荒いかまたはどちらもだ」ということは事実でない"が導かれる
6. 推論5と事実6から、仮説が否定される

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