「その完全親会社は肺機能であるということはないかあるいは日焼けでない」ということは嘘である
fact1: もしもあるものは眠たいならば「非人頭でないかもしくは日焼けでないか両方ともである」ということは間違いである fact2: 冷め難い物は狭苦しくない fact3: もしその完全親会社が眠たくないならそれは肺機能でないかまたは日焼けでないかまたは両方だ fact4: もし仮にその大手水産会社が眠たいとすればあの完全親会社は日焼けだ fact5: もしもその完全親会社が狭苦しくないとすれば悪しないしそれは眠たい fact6: 「その完全親会社は日焼けでないかもしくは眠たいということはないかまたは両方だ」ということは間違いだ fact7: もしその完全親会社は眠たいなら「「その大手水産会社は肺機能でないか日焼けでないかまたは両方だ」ということは間違いである」ということは成り立つ fact8: もしその大手水産会社は眠たいならば「その完全親会社は肺機能でないかもしくはそれは日焼けでないかあるいはどちらもである」ということは成り立たない fact9: 「その大手水産会社は肺機能だ」ということは偽でない fact10: その大手水産会社は眠たい
fact8 & fact10 -> hypothesis;
fact8 & fact10 -> hypothesis;
その完全親会社は肺機能でないかもしくはそれは日焼けでないか両方だ
$facts$ = fact1: もしもあるものは眠たいならば「非人頭でないかもしくは日焼けでないか両方ともである」ということは間違いである fact2: 冷め難い物は狭苦しくない fact3: もしその完全親会社が眠たくないならそれは肺機能でないかまたは日焼けでないかまたは両方だ fact4: もし仮にその大手水産会社が眠たいとすればあの完全親会社は日焼けだ fact5: もしもその完全親会社が狭苦しくないとすれば悪しないしそれは眠たい fact6: 「その完全親会社は日焼けでないかもしくは眠たいということはないかまたは両方だ」ということは間違いだ fact7: もしその完全親会社は眠たいなら「「その大手水産会社は肺機能でないか日焼けでないかまたは両方だ」ということは間違いである」ということは成り立つ fact8: もしその大手水産会社は眠たいならば「その完全親会社は肺機能でないかもしくはそれは日焼けでないかあるいはどちらもである」ということは成り立たない fact9: 「その大手水産会社は肺機能だ」ということは偽でない fact10: その大手水産会社は眠たい ; $hypothesis$ = 「その完全親会社は肺機能であるということはないかあるいは日焼けでない」ということは嘘である ; $proof$ = 
fact8 & fact10 -> hypothesis; __PROVED__
事実1: もしもあるものは眠たいならば「非人頭でないかもしくは日焼けでないか両方ともである」ということは間違いである
事実2: 冷め難い物は狭苦しくない
事実3: もしその完全親会社が眠たくないならそれは肺機能でないかまたは日焼けでないかまたは両方だ
事実4: もし仮にその大手水産会社が眠たいとすればあの完全親会社は日焼けだ
事実5: もしもその完全親会社が狭苦しくないとすれば悪しないしそれは眠たい
事実6: 「その完全親会社は日焼けでないかもしくは眠たいということはないかまたは両方だ」ということは間違いだ
事実7: もしその完全親会社は眠たいなら「「その大手水産会社は肺機能でないか日焼けでないかまたは両方だ」ということは間違いである」ということは成り立つ
事実8: もしその大手水産会社は眠たいならば「その完全親会社は肺機能でないかもしくはそれは日焼けでないかあるいはどちらもである」ということは成り立たない
事実9: 「その大手水産会社は肺機能だ」ということは偽でない
事実10: その大手水産会社は眠たい

仮説: 「その完全親会社は肺機能であるということはないかあるいは日焼けでない」ということは嘘である
1. 事実8と事実10から、仮説が導かれる

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