あの腹上は姉らしくない
fact1: 仮に「とあるものは灰褐色でないけれどそれは姉らしい」ということは成り立たないならば姉らしくない fact2: 仮に「あの腹上は用水路であるということはないけれどそれは雪崩れ込む」ということは間違っているとすれば「姉らしい」ということは事実である fact3: 「もし仮にあの腹上が灰褐色であるならばあのエリート意識は用水路だ」ということは真実だ fact4: その専売は姉らしい fact5: この嗽は用水路だ fact6: 仮にあの腹上が雪崩れ込むとしたらリポートする fact7: 「あの腹上はＥＷＧであるし加えて雪崩れ込む」ということは成り立たない fact8: 「あの腹上は用水路であるということはないけどそれは雪崩れ込む」ということは成り立たない fact9: 仮にあの腹上は雪崩れ込むということはないならば「姉らしくない」ということは事実と異なる fact10: 「あの腹上は三学期であるし姉らしい」ということは成り立たない fact11: 仮に「あの腹上は雪崩れ込むということはないけど絶滅危惧種法である」ということは偽だとするとそれは生物濃縮だ fact12: 仮に「この株価分析は歌曲でないけれどウェイティングリストだ」ということは成り立つということはないなら「それは航空管制である」ということは本当だ
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
あの腹上は姉らしくない
fact13 -> int1: もし「あの腹上は灰褐色でないが姉らしい」ということは成り立たないとすれば姉らしいということはない;
$facts$ = fact1: 仮に「とあるものは灰褐色でないけれどそれは姉らしい」ということは成り立たないならば姉らしくない fact2: 仮に「あの腹上は用水路であるということはないけれどそれは雪崩れ込む」ということは間違っているとすれば「姉らしい」ということは事実である fact3: 「もし仮にあの腹上が灰褐色であるならばあのエリート意識は用水路だ」ということは真実だ fact4: その専売は姉らしい fact5: この嗽は用水路だ fact6: 仮にあの腹上が雪崩れ込むとしたらリポートする fact7: 「あの腹上はＥＷＧであるし加えて雪崩れ込む」ということは成り立たない fact8: 「あの腹上は用水路であるということはないけどそれは雪崩れ込む」ということは成り立たない fact9: 仮にあの腹上は雪崩れ込むということはないならば「姉らしくない」ということは事実と異なる fact10: 「あの腹上は三学期であるし姉らしい」ということは成り立たない fact11: 仮に「あの腹上は雪崩れ込むということはないけど絶滅危惧種法である」ということは偽だとするとそれは生物濃縮だ fact12: 仮に「この株価分析は歌曲でないけれどウェイティングリストだ」ということは成り立つということはないなら「それは航空管制である」ということは本当だ ; $hypothesis$ = あの腹上は姉らしくない ; $proof$ = 
fact2 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「とあるものは灰褐色でないけれどそれは姉らしい」ということは成り立たないならば姉らしくない
事実2: 仮に「あの腹上は用水路であるということはないけれどそれは雪崩れ込む」ということは間違っているとすれば「姉らしい」ということは事実である
事実3: 「もし仮にあの腹上が灰褐色であるならばあのエリート意識は用水路だ」ということは真実だ
事実4: その専売は姉らしい
事実5: この嗽は用水路だ
事実6: 仮にあの腹上が雪崩れ込むとしたらリポートする
事実7: 「あの腹上はＥＷＧであるし加えて雪崩れ込む」ということは成り立たない
事実8: 「あの腹上は用水路であるということはないけどそれは雪崩れ込む」ということは成り立たない
事実9: 仮にあの腹上は雪崩れ込むということはないならば「姉らしくない」ということは事実と異なる
事実10: 「あの腹上は三学期であるし姉らしい」ということは成り立たない
事実11: 仮に「あの腹上は雪崩れ込むということはないけど絶滅危惧種法である」ということは偽だとするとそれは生物濃縮だ
事実12: 仮に「この株価分析は歌曲でないけれどウェイティングリストだ」ということは成り立つということはないなら「それは航空管制である」ということは本当だ

仮説: あの腹上は姉らしくない
1. 事実2と事実8から、仮説が否定される

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