あの季節は折り上げない
fact1: 「この転帰は街らしくないかまたは荒々しいかまたは両方だ」ということは誤っている fact2: 「「この日足は直物であるしかつ療育機関である」ということは間違っている」ということは真実だ fact3: 仮に「あの季節は性分らしいかあるいは荒々しい」ということは成り立たないならそれは折り上げる fact4: もしもあの餡時が忌まわしくないとしたらあの季節は折り上げない fact5: 仮に「ある物は合わせ辛くないかそれは浄化出来るかまたはどちらもである」ということは間違いならば「天使らしい」ということは本当だ fact6: 「招き易くない」物はある fact7: もし「忌まわしくない」ものがあるとすればあの季節は性分らしい fact8: 「良くない」物はある fact9: もし仮に「あの季節は厚生年金保険法でないかもしくは御迎えするかあるいはどちらもだ」ということは間違いだとしたらそれは処世術だ fact10: 「気付き易くない」ものはある fact11: 「あの季節は統合出来ないかあるいはテレビ中継するか両方ともだ」ということは事実でないならそれは荒々しい fact12: 「とある物は性分らしいということはないかまたは荒々しいかあるいはどちらもである」ということは間違っていれば折り上げる fact13: あるものは忌まわしくない fact14: もしなんらかのものは直物でないとすれば「それは荒々しいということはないしその上既成事実でない」ということは間違いである fact15: もしなんらかの物は忌まわしくないとすれば「あの季節は性分らしくないかもしくは荒々しいかどちらもである」ということは本当だということはない fact16: 「忌まわしい」ものはある fact17: 仮に「なにがしかの物は性分らしいか荒々しいかあるいはどちらもである」ということは間違いだとしたらそれは折り上げる fact18: 「このＧＡＬＳは忌まわしいということはないかもしくはそれは相対立する」ということは成り立たない fact19: あの季節は性分らしい fact20: もし仮にどでかくない物はあるなら「あの季節は降魔でないかそれは荒々しいかどちらもである」ということは偽だ fact21: もしも「この日足は直物であるし療育機関だ」ということは嘘であるとするとこの拭いは直物でない
fact13 & fact15 -> int1: 「あの季節は性分らしくないかあるいは荒々しい」ということは偽だ; fact12 -> int2: 仮に「あの季節は性分らしくないかあるいはそれは荒々しい」ということは誤りならば折り上げる; int1 & int2 -> hypothesis;
fact13 & fact15 -> int1: ¬(¬{B}{a} v {C}{a}); fact12 -> int2: ¬(¬{B}{a} v {C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
「あの季節は折り上げない」ということは本当だ
fact23 -> int3: この拭いは直物でないとすると「それは荒々しくなくてそれは既成事実でない」ということは間違っている; fact22 & fact24 -> int4: この拭いは直物でない; int3 & int4 -> int5: 「この拭いは荒々しくないしそれは既成事実だということはない」ということは間違いである; int5 -> int6: 「「荒々しくなくて既成事実でない」ということは間違っている」ものはある;
$facts$ = fact1: 「この転帰は街らしくないかまたは荒々しいかまたは両方だ」ということは誤っている fact2: 「「この日足は直物であるしかつ療育機関である」ということは間違っている」ということは真実だ fact3: 仮に「あの季節は性分らしいかあるいは荒々しい」ということは成り立たないならそれは折り上げる fact4: もしもあの餡時が忌まわしくないとしたらあの季節は折り上げない fact5: 仮に「ある物は合わせ辛くないかそれは浄化出来るかまたはどちらもである」ということは間違いならば「天使らしい」ということは本当だ fact6: 「招き易くない」物はある fact7: もし「忌まわしくない」ものがあるとすればあの季節は性分らしい fact8: 「良くない」物はある fact9: もし仮に「あの季節は厚生年金保険法でないかもしくは御迎えするかあるいはどちらもだ」ということは間違いだとしたらそれは処世術だ fact10: 「気付き易くない」ものはある fact11: 「あの季節は統合出来ないかあるいはテレビ中継するか両方ともだ」ということは事実でないならそれは荒々しい fact12: 「とある物は性分らしいということはないかまたは荒々しいかあるいはどちらもである」ということは間違っていれば折り上げる fact13: あるものは忌まわしくない fact14: もしなんらかのものは直物でないとすれば「それは荒々しいということはないしその上既成事実でない」ということは間違いである fact15: もしなんらかの物は忌まわしくないとすれば「あの季節は性分らしくないかもしくは荒々しいかどちらもである」ということは本当だということはない fact16: 「忌まわしい」ものはある fact17: 仮に「なにがしかの物は性分らしいか荒々しいかあるいはどちらもである」ということは間違いだとしたらそれは折り上げる fact18: 「このＧＡＬＳは忌まわしいということはないかもしくはそれは相対立する」ということは成り立たない fact19: あの季節は性分らしい fact20: もし仮にどでかくない物はあるなら「あの季節は降魔でないかそれは荒々しいかどちらもである」ということは偽だ fact21: もしも「この日足は直物であるし療育機関だ」ということは嘘であるとするとこの拭いは直物でない ; $hypothesis$ = あの季節は折り上げない ; $proof$ = 
fact13 & fact15 -> int1: 「あの季節は性分らしくないかあるいは荒々しい」ということは偽だ; fact12 -> int2: 仮に「あの季節は性分らしくないかあるいはそれは荒々しい」ということは誤りならば折り上げる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この転帰は街らしくないかまたは荒々しいかまたは両方だ」ということは誤っている
事実2: 「「この日足は直物であるしかつ療育機関である」ということは間違っている」ということは真実だ
事実3: 仮に「あの季節は性分らしいかあるいは荒々しい」ということは成り立たないならそれは折り上げる
事実4: もしもあの餡時が忌まわしくないとしたらあの季節は折り上げない
事実5: 仮に「ある物は合わせ辛くないかそれは浄化出来るかまたはどちらもである」ということは間違いならば「天使らしい」ということは本当だ
事実6: 「招き易くない」物はある
事実7: もし「忌まわしくない」ものがあるとすればあの季節は性分らしい
事実8: 「良くない」物はある
事実9: もし仮に「あの季節は厚生年金保険法でないかもしくは御迎えするかあるいはどちらもだ」ということは間違いだとしたらそれは処世術だ
事実10: 「気付き易くない」ものはある
事実11: 「あの季節は統合出来ないかあるいはテレビ中継するか両方ともだ」ということは事実でないならそれは荒々しい
事実12: 「とある物は性分らしいということはないかまたは荒々しいかあるいはどちらもである」ということは間違っていれば折り上げる
事実13: あるものは忌まわしくない
事実14: もしなんらかのものは直物でないとすれば「それは荒々しいということはないしその上既成事実でない」ということは間違いである
事実15: もしなんらかの物は忌まわしくないとすれば「あの季節は性分らしくないかもしくは荒々しいかどちらもである」ということは本当だということはない
事実16: 「忌まわしい」ものはある
事実17: 仮に「なにがしかの物は性分らしいか荒々しいかあるいはどちらもである」ということは間違いだとしたらそれは折り上げる
事実18: 「このＧＡＬＳは忌まわしいということはないかもしくはそれは相対立する」ということは成り立たない
事実19: あの季節は性分らしい
事実20: もし仮にどでかくない物はあるなら「あの季節は降魔でないかそれは荒々しいかどちらもである」ということは偽だ
事実21: もしも「この日足は直物であるし療育機関だ」ということは嘘であるとするとこの拭いは直物でない

仮説: あの季節は折り上げない
1. 事実13と事実15から、推論1: "「あの季節は性分らしくないかあるいは荒々しい」ということは偽だ"が導かれる
2. 事実12から、推論2: "仮に「あの季節は性分らしくないかあるいはそれは荒々しい」ということは誤りならば折り上げる"が導かれる
3. 推論1と推論2から、仮説が否定される

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