その創生水はリアビューだ
fact1: その創生水は探し始めない fact2: もし「何かは学生服であるけれどそれは取り残さない」ということは成り立たないとしたらリアビューだ fact3: なにかは探し始めるしおまけに中途退学すればリアビューだということはない fact4: 仮にその創生水は探し始めないとしたら「学生服であるしそれは取り残さない」ということは嘘である
fact2 -> int1: 「もしも「その創生水が学生服だけどそれは取り残すということはない」ということは成り立たないとするとその創生水はリアビューだ」ということは正しい; fact4 & fact1 -> int2: 「その創生水は学生服であるがしかし取り残さない」ということは誤りだ; int1 & int2 -> hypothesis;
その創生水はリアビューでない
fact5 -> int3: その創生水は探し始めるし中途退学するとするとそれはリアビューでない;
$facts$ = fact1: その創生水は探し始めない fact2: もし「何かは学生服であるけれどそれは取り残さない」ということは成り立たないとしたらリアビューだ fact3: なにかは探し始めるしおまけに中途退学すればリアビューだということはない fact4: 仮にその創生水は探し始めないとしたら「学生服であるしそれは取り残さない」ということは嘘である ; $hypothesis$ = その創生水はリアビューだ ; $proof$ = 
fact2 -> int1: 「もしも「その創生水が学生服だけどそれは取り残すということはない」ということは成り立たないとするとその創生水はリアビューだ」ということは正しい; fact4 & fact1 -> int2: 「その創生水は学生服であるがしかし取り残さない」ということは誤りだ; int1 & int2 -> hypothesis; __PROVED__
事実1: その創生水は探し始めない
事実2: もし「何かは学生服であるけれどそれは取り残さない」ということは成り立たないとしたらリアビューだ
事実3: なにかは探し始めるしおまけに中途退学すればリアビューだということはない
事実4: 仮にその創生水は探し始めないとしたら「学生服であるしそれは取り残さない」ということは嘘である

仮説: その創生水はリアビューだ
1. 事実2から、推論1: "「もしも「その創生水が学生服だけどそれは取り残すということはない」ということは成り立たないとするとその創生水はリアビューだ」ということは正しい"が導かれる
2. 事実4と事実1から、推論2: "「その創生水は学生服であるがしかし取り残さない」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。