「あの三田文学はどうしても欲しい」ということは成り立たない
fact1: 仮にとある物が自流水取水だとしたらそれは退団する fact2: あの三田文学はどうしても欲しい fact3: なにかは退団するとするとどうしても欲しい
fact2 -> hypothesis;
fact2 -> hypothesis;
その自動機械はどうしても欲しい
fact5 -> int1: もしもその自動機械が退団するとすればそれはどうしても欲しい; fact4 -> int2: もしもその自動機械が自流水取水だとすれば退団する;
$facts$ = fact1: 仮にとある物が自流水取水だとしたらそれは退団する fact2: あの三田文学はどうしても欲しい fact3: なにかは退団するとするとどうしても欲しい ; $hypothesis$ = 「あの三田文学はどうしても欲しい」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が自流水取水だとしたらそれは退団する
事実2: あの三田文学はどうしても欲しい
事実3: なにかは退団するとするとどうしても欲しい

仮説: 「あの三田文学はどうしても欲しい」ということは成り立たない
1. 事実2から、仮説が否定される

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