「その大愚は野太くないなら「その大愚はみみっちくないしかつし捲らない」ということは間違いだ」ということは事実である
fact1: もしなにかは野太くないならば「みみっちくないしし捲るということはない」ということは本当でない
$facts$ = fact1: もしなにかは野太くないならば「みみっちくないしし捲るということはない」ということは本当でない ; $hypothesis$ = 「その大愚は野太くないなら「その大愚はみみっちくないしかつし捲らない」ということは間違いだ」ということは事実である ; $proof$ = 
事実1: もしなにかは野太くないならば「みみっちくないしし捲るということはない」ということは本当でない

仮説: 「その大愚は野太くないなら「その大愚はみみっちくないしかつし捲らない」ということは間違いだ」ということは事実である