あのバリカタンは若くないけど通達する
fact1: もしなにがしかの物が排水するとしたら通達する fact2: その急性は克服する fact3: 仮にその急性が通達すればあのバリカタンは若くない fact4: あのバリカタンは若くない fact5: 「その急性は通達する」ということは成り立つとするとあのバリカタンは若くないけど通達する fact6: その診査医は克服する fact7: もし仮に「その急性は克服する」ということは成り立つならそれは排水する
fact7 & fact2 -> int1: その急性は排水する; fact1 -> int2: もし仮にその急性が排水するとするとそれは通達する; int1 & int2 -> int3: その急性は通達する; int3 & fact5 -> hypothesis;
$facts$ = fact1: もしなにがしかの物が排水するとしたら通達する fact2: その急性は克服する fact3: 仮にその急性が通達すればあのバリカタンは若くない fact4: あのバリカタンは若くない fact5: 「その急性は通達する」ということは成り立つとするとあのバリカタンは若くないけど通達する fact6: その診査医は克服する fact7: もし仮に「その急性は克服する」ということは成り立つならそれは排水する ; $hypothesis$ = あのバリカタンは若くないけど通達する ; $proof$ = 
fact7 & fact2 -> int1: その急性は排水する; fact1 -> int2: もし仮にその急性が排水するとするとそれは通達する; int1 & int2 -> int3: その急性は通達する; int3 & fact5 -> hypothesis; __PROVED__
事実1: もしなにがしかの物が排水するとしたら通達する
事実2: その急性は克服する
事実3: 仮にその急性が通達すればあのバリカタンは若くない
事実4: あのバリカタンは若くない
事実5: 「その急性は通達する」ということは成り立つとするとあのバリカタンは若くないけど通達する
事実6: その診査医は克服する
事実7: もし仮に「その急性は克服する」ということは成り立つならそれは排水する

仮説: あのバリカタンは若くないけど通達する
1. 事実7と事実2から、推論1: "その急性は排水する"が導かれる
2. 事実1から、推論2: "もし仮にその急性が排水するとするとそれは通達する"が導かれる
3. 推論1と推論2から、推論3: "その急性は通達する"が導かれる
4. 推論3と事実5から、仮説が導かれる

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