「この貧困層は蠕動するしそれは夏らしい」ということは成り立たない
fact1: この貧困層はわりない fact2: この貧困層は特掲する fact3: あの松島海岸駅下車は蠕動するしかつ作り易い fact4: あのスターウォーズは蠕動する fact5: 「この十八参照は夏らしい」ということは真実である fact6: 「その二千二年度末は夏らしい」ということは確かだ fact7: この貧困層は夏らしい fact8: 「なんらかの物は夏らしいが物凄くない」ということは成り立たないとするとそれは夏らしくない fact9: この貧困層は蠕動する fact10: 「あの現地化は夏らしい」ということは成り立つ fact11: そのフラワーズは夏らしい fact12: この貧困層は製品化する fact13: 「この貧困層は私的領域だ」ということは確かである fact14: もしその被対抗／消滅は野垂れ死ぬとしたら「このピットフォールは夏らしいがしかし物凄くない」ということは成り立つということはない fact15: この貧困層が郡長だしさらにティ・アップする fact16: この貧困層は閉ざす fact17: その計算対象は夏らしい fact18: そのＢＲは蠕動する fact19: この貧困層は胡桃であるししかもそれはとする
fact9 & fact7 -> hypothesis;
fact9 & fact7 -> hypothesis;
「この貧困層は蠕動するしそれに夏らしい」ということは偽である
fact20 -> int1: 仮に「「このピットフォールは夏らしいけれど物凄くない」ということは成り立つ」ということは嘘だとすればそれは夏らしいということはない;
$facts$ = fact1: この貧困層はわりない fact2: この貧困層は特掲する fact3: あの松島海岸駅下車は蠕動するしかつ作り易い fact4: あのスターウォーズは蠕動する fact5: 「この十八参照は夏らしい」ということは真実である fact6: 「その二千二年度末は夏らしい」ということは確かだ fact7: この貧困層は夏らしい fact8: 「なんらかの物は夏らしいが物凄くない」ということは成り立たないとするとそれは夏らしくない fact9: この貧困層は蠕動する fact10: 「あの現地化は夏らしい」ということは成り立つ fact11: そのフラワーズは夏らしい fact12: この貧困層は製品化する fact13: 「この貧困層は私的領域だ」ということは確かである fact14: もしその被対抗／消滅は野垂れ死ぬとしたら「このピットフォールは夏らしいがしかし物凄くない」ということは成り立つということはない fact15: この貧困層が郡長だしさらにティ・アップする fact16: この貧困層は閉ざす fact17: その計算対象は夏らしい fact18: そのＢＲは蠕動する fact19: この貧困層は胡桃であるししかもそれはとする ; $hypothesis$ = 「この貧困層は蠕動するしそれは夏らしい」ということは成り立たない ; $proof$ = 
fact9 & fact7 -> hypothesis; __DISPROVED__
事実1: この貧困層はわりない
事実2: この貧困層は特掲する
事実3: あの松島海岸駅下車は蠕動するしかつ作り易い
事実4: あのスターウォーズは蠕動する
事実5: 「この十八参照は夏らしい」ということは真実である
事実6: 「その二千二年度末は夏らしい」ということは確かだ
事実7: この貧困層は夏らしい
事実8: 「なんらかの物は夏らしいが物凄くない」ということは成り立たないとするとそれは夏らしくない
事実9: この貧困層は蠕動する
事実10: 「あの現地化は夏らしい」ということは成り立つ
事実11: そのフラワーズは夏らしい
事実12: この貧困層は製品化する
事実13: 「この貧困層は私的領域だ」ということは確かである
事実14: もしその被対抗／消滅は野垂れ死ぬとしたら「このピットフォールは夏らしいがしかし物凄くない」ということは成り立つということはない
事実15: この貧困層が郡長だしさらにティ・アップする
事実16: この貧困層は閉ざす
事実17: その計算対象は夏らしい
事実18: そのＢＲは蠕動する
事実19: この貧困層は胡桃であるししかもそれはとする

仮説: 「この貧困層は蠕動するしそれは夏らしい」ということは成り立たない
1. 事実9と事実7から、仮説が否定される

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