あのバレーは素晴らしくない一方でどうして良い
fact1: もし仮になにかは心憎いということはないとすればそれは忝い fact2: あの住宅施策は怒りっぽくない fact3: もし仮にあの住宅施策は婿入りするとしたら「あの円山公園はきったなくないが怒りっぽい」ということは偽である fact4: もしもあの住宅施策は怒りっぽくないとしたら「あのバレーは素晴らしくないけれどどうして良い」ということは誤っている fact5: 「もし仮に「あのバレーは悔しいし加えてそれは心憎い」ということは成り立たないならばあのバレーは心憎くない」ということは成り立つ fact6: なにかは塞栓術であるならばそれは婿入りする fact7: 忝いものは御若くないけど最終日である
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
「あの円山公園はきったなくないけど怒りっぽい」ということは偽だ
fact11 -> int1: もし仮にあの住宅施策は塞栓術であるなら婿入りする; fact12 -> int2: もしもあのバレーが忝いならば御若くないけど最終日である; fact9 -> int3: もし仮にあのバレーが心憎くないとするとそれは忝い;
$facts$ = fact1: もし仮になにかは心憎いということはないとすればそれは忝い fact2: あの住宅施策は怒りっぽくない fact3: もし仮にあの住宅施策は婿入りするとしたら「あの円山公園はきったなくないが怒りっぽい」ということは偽である fact4: もしもあの住宅施策は怒りっぽくないとしたら「あのバレーは素晴らしくないけれどどうして良い」ということは誤っている fact5: 「もし仮に「あのバレーは悔しいし加えてそれは心憎い」ということは成り立たないならばあのバレーは心憎くない」ということは成り立つ fact6: なにかは塞栓術であるならばそれは婿入りする fact7: 忝いものは御若くないけど最終日である ; $hypothesis$ = あのバレーは素晴らしくない一方でどうして良い ; $proof$ = 
fact4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは心憎いということはないとすればそれは忝い
事実2: あの住宅施策は怒りっぽくない
事実3: もし仮にあの住宅施策は婿入りするとしたら「あの円山公園はきったなくないが怒りっぽい」ということは偽である
事実4: もしもあの住宅施策は怒りっぽくないとしたら「あのバレーは素晴らしくないけれどどうして良い」ということは誤っている
事実5: 「もし仮に「あのバレーは悔しいし加えてそれは心憎い」ということは成り立たないならばあのバレーは心憎くない」ということは成り立つ
事実6: なにかは塞栓術であるならばそれは婿入りする
事実7: 忝いものは御若くないけど最終日である

仮説: あのバレーは素晴らしくない一方でどうして良い
1. 事実4と事実2から、仮説が否定される

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