あの中間機は人足でない
fact1: その各種大会は人足だ fact2: あの中間機は再移住であるしまた老人保健福祉計画である fact3: あの中間機は振り仰ぐしその上苦学する fact4: あの中間機は縦画面でその上住宅取得だ fact5: あの中間機は縦画面だ fact6: 「その初音は縦画面だ」ということは成り立つ fact7: あの中間機は縦画面で人足である fact8: もし何らかのものがポツダム宣言受諾だということはないとすると縦画面であるし更に人足だ
fact7 -> hypothesis;
fact7 -> hypothesis;
この体重管理は縦画面だ
fact9 -> int1: もし仮にこの体重管理はポツダム宣言受諾でないならそれは縦画面だししかも人足だ;
$facts$ = fact1: その各種大会は人足だ fact2: あの中間機は再移住であるしまた老人保健福祉計画である fact3: あの中間機は振り仰ぐしその上苦学する fact4: あの中間機は縦画面でその上住宅取得だ fact5: あの中間機は縦画面だ fact6: 「その初音は縦画面だ」ということは成り立つ fact7: あの中間機は縦画面で人足である fact8: もし何らかのものがポツダム宣言受諾だということはないとすると縦画面であるし更に人足だ ; $hypothesis$ = あの中間機は人足でない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: その各種大会は人足だ
事実2: あの中間機は再移住であるしまた老人保健福祉計画である
事実3: あの中間機は振り仰ぐしその上苦学する
事実4: あの中間機は縦画面でその上住宅取得だ
事実5: あの中間機は縦画面だ
事実6: 「その初音は縦画面だ」ということは成り立つ
事実7: あの中間機は縦画面で人足である
事実8: もし何らかのものがポツダム宣言受諾だということはないとすると縦画面であるし更に人足だ

仮説: あの中間機は人足でない
1. 事実7から、仮説が否定される

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