「青黒くないならば鬱陶しかないし一つ年上な」物はある
fact1: 「もしも青黒くないとすると一つ年上な」物はある fact2: 仮に「その植木市は青黒くない」ということは事実であるとすると加えらない fact3: もし仮にその七星が青黒くないならばそれが鬱陶しかないしさらにそれは一つ年上である fact4: 「「仮に「青黒い」ということは成り立たないなら鬱陶しいし一つ年上な」物はある」ということは真実だ fact5: 青黒くない物は御労しくないがしかし機密事項である
fact3 -> hypothesis;
fact3 -> hypothesis;
もしその核開発計画は青黒くないとすると「それは御労しくなくてそれにそれは機密事項である」ということは事実である
fact6 -> hypothesis;
$facts$ = fact1: 「もしも青黒くないとすると一つ年上な」物はある fact2: 仮に「その植木市は青黒くない」ということは事実であるとすると加えらない fact3: もし仮にその七星が青黒くないならばそれが鬱陶しかないしさらにそれは一つ年上である fact4: 「「仮に「青黒い」ということは成り立たないなら鬱陶しいし一つ年上な」物はある」ということは真実だ fact5: 青黒くない物は御労しくないがしかし機密事項である ; $hypothesis$ = 「青黒くないならば鬱陶しかないし一つ年上な」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もしも青黒くないとすると一つ年上な」物はある
事実2: 仮に「その植木市は青黒くない」ということは事実であるとすると加えらない
事実3: もし仮にその七星が青黒くないならばそれが鬱陶しかないしさらにそれは一つ年上である
事実4: 「「仮に「青黒い」ということは成り立たないなら鬱陶しいし一つ年上な」物はある」ということは真実だ
事実5: 青黒くない物は御労しくないがしかし機密事項である

仮説: 「青黒くないならば鬱陶しかないし一つ年上な」物はある
1. 事実3から、仮説が導かれる

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