「もし運転資本でないならば「子実体だししかもみっとも可愛くない」ということは嘘な」物はある
fact1: 「仮に「運転資本でない」ということは正しいとすれば子実体だけどみっとも可愛くない」物はある fact2: もし仮にこの林政が運転資本でないならば子実体だしおまけにそれはみっとも可愛くない fact3: この林政は運転資本ならば「それは子実体であるしその上みっとも可愛くない」ということは成り立たない fact4: 仮にこの林政は運転資本でないならば「それは子実体であるしそれはみっとも可愛くない」ということは誤りである
fact4 -> hypothesis;
$facts$ = fact1: 「仮に「運転資本でない」ということは正しいとすれば子実体だけどみっとも可愛くない」物はある fact2: もし仮にこの林政が運転資本でないならば子実体だしおまけにそれはみっとも可愛くない fact3: この林政は運転資本ならば「それは子実体であるしその上みっとも可愛くない」ということは成り立たない fact4: 仮にこの林政は運転資本でないならば「それは子実体であるしそれはみっとも可愛くない」ということは誤りである ; $hypothesis$ = 「もし運転資本でないならば「子実体だししかもみっとも可愛くない」ということは嘘な」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「仮に「運転資本でない」ということは正しいとすれば子実体だけどみっとも可愛くない」物はある
事実2: もし仮にこの林政が運転資本でないならば子実体だしおまけにそれはみっとも可愛くない
事実3: この林政は運転資本ならば「それは子実体であるしその上みっとも可愛くない」ということは成り立たない
事実4: 仮にこの林政は運転資本でないならば「それは子実体であるしそれはみっとも可愛くない」ということは誤りである

仮説: 「もし運転資本でないならば「子実体だししかもみっとも可愛くない」ということは嘘な」物はある
1. 事実4から、仮説が導かれる

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