「この灌漑用は消化出来ないけれど物狂おしい」ということは成り立つということはない
fact1: 「この灌漑用は消化出来ないがしかしそれは物狂おしい」ということは正しくない
$facts$ = fact1: 「この灌漑用は消化出来ないがしかしそれは物狂おしい」ということは正しくない ; $hypothesis$ = 「この灌漑用は消化出来ないけれど物狂おしい」ということは成り立つということはない ; $proof$ = 
事実1: 「この灌漑用は消化出来ないがしかしそれは物狂おしい」ということは正しくない

仮説: 「この灌漑用は消化出来ないけれど物狂おしい」ということは成り立つということはない