そのサニーは諸行無常でない
fact1: そのムードメーカーは諸行無常である fact2: そのサニーは御取り下さる fact3: 仮に「なんらかのものは諸行無常だしそれに御取り下さる」ということは間違っているとしたら諸行無常でない fact4: もし仮に「その住居費は新規上場申請者であるししかも無意味だ」ということは確かでないとするとあの好材料は新規上場申請者でない fact5: あるものは新規上場申請者でないとすると「諸行無常だし御取り下さる」ということは嘘だ fact6: もし仮に「そのサニーは納得し難い」ということは真実であるならそれは新規上場申請者である fact7: もしそのサニーは二十三区であるとするとそれは現代文だ fact8: 何かは無意味でないならばそれは新規上場申請者でない fact9: そのサニーは沈み切らない fact10: 仮にあの好材料が新規上場申請者でないとするとそのサニーは諸行無常でなくて御取り下さらない fact11: もしこの天文学者は長ーいとすると「諸行無常だ」ということは正しい fact12: 新規上場申請者は御取り下さる fact13: もしもそのサニーが御取り下さればメチシリン耐性黄色葡萄球菌である fact14: その二分以内は御取り下さる fact15: もしそのサニーが諸行無常なら述語である fact16: そのサニーは副甲状腺だ fact17: 仮に「沈み切らない」物があるならその勝機は無意味でないかもしくはそれは沈み切らない fact18: そのサニーが御取り下さるとすればそれは新規上場申請者だ fact19: そのサニーは伸び伸びする fact20: 仮にとあるものは主張出来るなら「忍び難い」ということは成り立つ fact21: その二十五年前が諸行無常ならそれは順バイアス状態である fact22: もしあるものは新規上場申請者だとすると「それは諸行無常だ」ということは本当だ fact23: あの妥協案は諸行無常である
fact18 & fact2 -> int1: そのサニーは新規上場申請者である; fact22 -> int2: もしそのサニーが新規上場申請者だとすればそれは諸行無常である; int1 & int2 -> hypothesis;
そのサニーは諸行無常でない
$facts$ = fact1: そのムードメーカーは諸行無常である fact2: そのサニーは御取り下さる fact3: 仮に「なんらかのものは諸行無常だしそれに御取り下さる」ということは間違っているとしたら諸行無常でない fact4: もし仮に「その住居費は新規上場申請者であるししかも無意味だ」ということは確かでないとするとあの好材料は新規上場申請者でない fact5: あるものは新規上場申請者でないとすると「諸行無常だし御取り下さる」ということは嘘だ fact6: もし仮に「そのサニーは納得し難い」ということは真実であるならそれは新規上場申請者である fact7: もしそのサニーは二十三区であるとするとそれは現代文だ fact8: 何かは無意味でないならばそれは新規上場申請者でない fact9: そのサニーは沈み切らない fact10: 仮にあの好材料が新規上場申請者でないとするとそのサニーは諸行無常でなくて御取り下さらない fact11: もしこの天文学者は長ーいとすると「諸行無常だ」ということは正しい fact12: 新規上場申請者は御取り下さる fact13: もしもそのサニーが御取り下さればメチシリン耐性黄色葡萄球菌である fact14: その二分以内は御取り下さる fact15: もしそのサニーが諸行無常なら述語である fact16: そのサニーは副甲状腺だ fact17: 仮に「沈み切らない」物があるならその勝機は無意味でないかもしくはそれは沈み切らない fact18: そのサニーが御取り下さるとすればそれは新規上場申請者だ fact19: そのサニーは伸び伸びする fact20: 仮にとあるものは主張出来るなら「忍び難い」ということは成り立つ fact21: その二十五年前が諸行無常ならそれは順バイアス状態である fact22: もしあるものは新規上場申請者だとすると「それは諸行無常だ」ということは本当だ fact23: あの妥協案は諸行無常である ; $hypothesis$ = そのサニーは諸行無常でない ; $proof$ = 
fact18 & fact2 -> int1: そのサニーは新規上場申請者である; fact22 -> 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: その二十五年前が諸行無常ならそれは順バイアス状態である
事実22: もしあるものは新規上場申請者だとすると「それは諸行無常だ」ということは本当だ
事実23: あの妥協案は諸行無常である

仮説: そのサニーは諸行無常でない
1. 事実18と事実2から、推論1: "そのサニーは新規上場申請者である"が導かれる
2. 事実22から、推論2: "もしそのサニーが新規上場申請者だとすればそれは諸行無常である"が導かれる
3. 推論1と推論2から、仮説が否定される

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