もし仮にその基礎資料は掻き直さないとすると「その企業職員は立て易くないがしかし大人らしい」ということは成り立たない
fact1: 仮に「その基礎資料は大人らしくない」ということは嘘だということはないとしたら「その企業職員は慌ただしくないが立て易い」ということは間違いである fact2: 「その企業職員はかわゆいしさらに大人らしい」ということは偽である fact3: 「もしその基礎資料が掻き直しないかかわゆいならその基礎資料は慌ただしくない」ということは偽だということはない fact4: 何らかの物は大人らしくないならば「「その基礎資料は掻き直すしそれにそれはかわゆい」ということは偽である」ということは事実だ fact5: もし仮にその企業職員がかわゆいならばそれは立て易くない fact6: もし「慌ただしくない」ものはあるとしたら「その企業職員は立て易いということはないがしかし大人らしい」ということは間違いである fact7: 「その基礎資料は暮れ掛からないけれど惨たらしい」ということは誤っている fact8: 「あるものはかわゆいということはない」ということは誤りでないなら「その企業職員は大人らしくないがしかし慌ただしい」ということは成り立たない fact9: 「「大人らしくない」ということは正しい」物はある
void -> assump1: 以下のように仮定する。その基礎資料は掻き直すということはない; assump1 -> int1: その基礎資料は掻き直しないかもしくはそれはかわゆい; int1 & fact3 -> int2: その基礎資料は慌ただしくない; int2 -> int3: 「「慌ただしいということはない」ものはある」ということは事実だ; int3 & fact6 -> int4: 「その企業職員は立て易くないが大人らしい」ということは事実であるということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮に「その基礎資料は大人らしくない」ということは嘘だということはないとしたら「その企業職員は慌ただしくないが立て易い」ということは間違いである fact2: 「その企業職員はかわゆいしさらに大人らしい」ということは偽である fact3: 「もしその基礎資料が掻き直しないかかわゆいならその基礎資料は慌ただしくない」ということは偽だということはない fact4: 何らかの物は大人らしくないならば「「その基礎資料は掻き直すしそれにそれはかわゆい」ということは偽である」ということは事実だ fact5: もし仮にその企業職員がかわゆいならばそれは立て易くない fact6: もし「慌ただしくない」ものはあるとしたら「その企業職員は立て易いということはないがしかし大人らしい」ということは間違いである fact7: 「その基礎資料は暮れ掛からないけれど惨たらしい」ということは誤っている fact8: 「あるものはかわゆいということはない」ということは誤りでないなら「その企業職員は大人らしくないがしかし慌ただしい」ということは成り立たない fact9: 「「大人らしくない」ということは正しい」物はある ; $hypothesis$ = もし仮にその基礎資料は掻き直さないとすると「その企業職員は立て易くないがしかし大人らしい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その基礎資料は掻き直すということはない; assump1 -> int1: その基礎資料は掻き直しないかもしくはそれはかわゆい; int1 & fact3 -> int2: その基礎資料は慌ただしくない; int2 -> int3: 「「慌ただしいということはない」ものはある」ということは事実だ; int3 & fact6 -> int4: 「その企業職員は立て易くないが大人らしい」ということは事実であるということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮に「その基礎資料は大人らしくない」ということは嘘だということはないとしたら「その企業職員は慌ただしくないが立て易い」ということは間違いである
事実2: 「その企業職員はかわゆいしさらに大人らしい」ということは偽である
事実3: 「もしその基礎資料が掻き直しないかかわゆいならその基礎資料は慌ただしくない」ということは偽だということはない
事実4: 何らかの物は大人らしくないならば「「その基礎資料は掻き直すしそれにそれはかわゆい」ということは偽である」ということは事実だ
事実5: もし仮にその企業職員がかわゆいならばそれは立て易くない
事実6: もし「慌ただしくない」ものはあるとしたら「その企業職員は立て易いということはないがしかし大人らしい」ということは間違いである
事実7: 「その基礎資料は暮れ掛からないけれど惨たらしい」ということは誤っている
事実8: 「あるものはかわゆいということはない」ということは誤りでないなら「その企業職員は大人らしくないがしかし慌ただしい」ということは成り立たない
事実9: 「「大人らしくない」ということは正しい」物はある

仮説: もし仮にその基礎資料は掻き直さないとすると「その企業職員は立て易くないがしかし大人らしい」ということは成り立たない
1. 仮定1: 以下のように仮定する。その基礎資料は掻き直すということはない
2. 仮定1から、推論1: "その基礎資料は掻き直しないかもしくはそれはかわゆい"が導かれる
3. 推論1と事実3から、推論2: "その基礎資料は慌ただしくない"が導かれる
4. 推論2から、推論3: "「「慌ただしいということはない」ものはある」ということは事実だ"が導かれる
5. 推論3と事実6から、推論4: "「その企業職員は立て易くないが大人らしい」ということは事実であるということはない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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