「あの雌鶏は操縦するということはない」ということは間違っていない
fact1: 「あの雌鶏は準備出来るし可笑し」ということは成り立たないとしたらそれは操縦しない fact2: 「あの雌鶏は準備出来るしそれは可笑し」ということは間違いである
$facts$ = fact1: 「あの雌鶏は準備出来るし可笑し」ということは成り立たないとしたらそれは操縦しない fact2: 「あの雌鶏は準備出来るしそれは可笑し」ということは間違いである ; $hypothesis$ = 「あの雌鶏は操縦するということはない」ということは間違っていない ; $proof$ = 
事実1: 「あの雌鶏は準備出来るし可笑し」ということは成り立たないとしたらそれは操縦しない
事実2: 「あの雌鶏は準備出来るしそれは可笑し」ということは間違いである

仮説: 「あの雌鶏は操縦するということはない」ということは間違っていない