この自由連想は煙たい
fact1: この自由連想は倒産する fact2: 仮に「あの精神安定剤は高層マンションだが煙たいということはない」ということは成り立たないならこの自由連想は煙たくない fact3: 「あの先進諸国間は煙たい」ということは成り立つ fact4: 仮にあるものが押し下げるということはないなら煙たいしそれは高層マンションだ fact5: この自由連想は煙たい fact6: 「この自由連想は潔し」ということは成り立つ fact7: その鍋島家は煙たい
fact5 -> hypothesis;
fact5 -> hypothesis;
この自由連想は煙たくない
$facts$ = fact1: この自由連想は倒産する fact2: 仮に「あの精神安定剤は高層マンションだが煙たいということはない」ということは成り立たないならこの自由連想は煙たくない fact3: 「あの先進諸国間は煙たい」ということは成り立つ fact4: 仮にあるものが押し下げるということはないなら煙たいしそれは高層マンションだ fact5: この自由連想は煙たい fact6: 「この自由連想は潔し」ということは成り立つ fact7: その鍋島家は煙たい ; $hypothesis$ = この自由連想は煙たい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この自由連想は倒産する
事実2: 仮に「あの精神安定剤は高層マンションだが煙たいということはない」ということは成り立たないならこの自由連想は煙たくない
事実3: 「あの先進諸国間は煙たい」ということは成り立つ
事実4: 仮にあるものが押し下げるということはないなら煙たいしそれは高層マンションだ
事実5: この自由連想は煙たい
事実6: 「この自由連想は潔し」ということは成り立つ
事実7: その鍋島家は煙たい

仮説: この自由連想は煙たい
1. 事実5から、仮説が導かれる

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