この起業体験プログラムは対角でない
fact1: もしもこの中納言がまだるっこしいとしたらこの起業体験プログラムは対角でない fact2: 図太いものは作品分析でない fact3: 仮にある物は作品分析でないとすると期し難い物であって更に興奮し易い fact4: 「もしも「この起業体験プログラムは踏み下ろさないしかつそれはまだるっこしくない」ということは嘘であるとするとこの中納言は対角でない」ということは正しい fact5: もしも「この中納言はまだるっこしくないしまた踏み下ろさない」ということは成り立たないとすると「この起業体験プログラムは対角でない」ということは事実だ fact6: 「この中納言はまだるっこしいが踏み下ろさない」ということは嘘だ fact7: 「この中納言はまだるっこしくないしそれは踏み下ろさない」ということは事実と異なる fact8: 全ては図太い fact9: 狭くないものは対角でないとするとそれは吸収し易くない fact10: 狭くない物は対角でまた吸収し易い
fact5 & fact7 -> hypothesis;
この起業体験プログラムは対角である
fact11 -> int1: もし仮にこの起業体験プログラムが狭くないとすると対角であるし吸収し易い;
$facts$ = fact1: もしもこの中納言がまだるっこしいとしたらこの起業体験プログラムは対角でない fact2: 図太いものは作品分析でない fact3: 仮にある物は作品分析でないとすると期し難い物であって更に興奮し易い fact4: 「もしも「この起業体験プログラムは踏み下ろさないしかつそれはまだるっこしくない」ということは嘘であるとするとこの中納言は対角でない」ということは正しい fact5: もしも「この中納言はまだるっこしくないしまた踏み下ろさない」ということは成り立たないとすると「この起業体験プログラムは対角でない」ということは事実だ fact6: 「この中納言はまだるっこしいが踏み下ろさない」ということは嘘だ fact7: 「この中納言はまだるっこしくないしそれは踏み下ろさない」ということは事実と異なる fact8: 全ては図太い fact9: 狭くないものは対角でないとするとそれは吸収し易くない fact10: 狭くない物は対角でまた吸収し易い ; $hypothesis$ = この起業体験プログラムは対角でない ; $proof$ = 
fact5 & fact7 -> hypothesis; __PROVED__
事実1: もしもこの中納言がまだるっこしいとしたらこの起業体験プログラムは対角でない
事実2: 図太いものは作品分析でない
事実3: 仮にある物は作品分析でないとすると期し難い物であって更に興奮し易い
事実4: 「もしも「この起業体験プログラムは踏み下ろさないしかつそれはまだるっこしくない」ということは嘘であるとするとこの中納言は対角でない」ということは正しい
事実5: もしも「この中納言はまだるっこしくないしまた踏み下ろさない」ということは成り立たないとすると「この起業体験プログラムは対角でない」ということは事実だ
事実6: 「この中納言はまだるっこしいが踏み下ろさない」ということは嘘だ
事実7: 「この中納言はまだるっこしくないしそれは踏み下ろさない」ということは事実と異なる
事実8: 全ては図太い
事実9: 狭くないものは対角でないとするとそれは吸収し易くない
事実10: 狭くない物は対角でまた吸収し易い

仮説: この起業体験プログラムは対角でない
1. 事実5と事実7から、仮説が導かれる

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