「「あの十八章は目掛けない一方で思い見る」ということは嘘であるならばあの十八章はたどたどしい」ということは間違いである
fact1: もし「あの十八章が目掛けるしその上与え易い」ということは間違いならそれは誘き寄せる fact2: もしも「あの十八章は座り易くないけれど多い」ということは成り立つということはないならばそれは目掛ける fact3: もしあの十八章が思い見ないとするとそれはたどたどしい fact4: もしも「なんらかのものは目掛けない一方で思い見る」ということは成り立たないならばたどたどしい fact5: もしもとあるものが思い見ないとするとたどたどしい fact6: もし何かは目掛けない一方でそれが思い見るならそれはたどたどしい fact7: あの十八章が目掛けるということはないけどそれが思い見ればそれはたどたどしい
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: もし「あの十八章が目掛けるしその上与え易い」ということは間違いならそれは誘き寄せる fact2: もしも「あの十八章は座り易くないけれど多い」ということは成り立つということはないならばそれは目掛ける fact3: もしあの十八章が思い見ないとするとそれはたどたどしい fact4: もしも「なんらかのものは目掛けない一方で思い見る」ということは成り立たないならばたどたどしい fact5: もしもとあるものが思い見ないとするとたどたどしい fact6: もし何かは目掛けない一方でそれが思い見るならそれはたどたどしい fact7: あの十八章が目掛けるということはないけどそれが思い見ればそれはたどたどしい ; $hypothesis$ = 「「あの十八章は目掛けない一方で思い見る」ということは嘘であるならばあの十八章はたどたどしい」ということは間違いである ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もし「あの十八章が目掛けるしその上与え易い」ということは間違いならそれは誘き寄せる
事実2: もしも「あの十八章は座り易くないけれど多い」ということは成り立つということはないならばそれは目掛ける
事実3: もしあの十八章が思い見ないとするとそれはたどたどしい
事実4: もしも「なんらかのものは目掛けない一方で思い見る」ということは成り立たないならばたどたどしい
事実5: もしもとあるものが思い見ないとするとたどたどしい
事実6: もし何かは目掛けない一方でそれが思い見るならそれはたどたどしい
事実7: あの十八章が目掛けるということはないけどそれが思い見ればそれはたどたどしい

仮説: 「「あの十八章は目掛けない一方で思い見る」ということは嘘であるならばあの十八章はたどたどしい」ということは間違いである
1. 事実4から、仮説が否定される

よって、仮説が否定されました。