あの舞子は熱っぽくない
fact1: もしも「あるものは創作活動だけどジャズ・フェスティバルだということはない」ということは誤りであるとすると創作活動でない fact2: あのキングスクロス・セントパンクラス駅は触診する fact3: もし仮にあのキングスクロス・セントパンクラス駅が触診するがそれがＰＲしないとしたらあの舞子は熱っぽくない fact4: あのキングスクロス・セントパンクラス駅が創作活動でないとするとあの舞子は熱っぽいしさらに叱り飛ばす fact5: あのキングスクロス・セントパンクラス駅は触診するけれどＰＲしない
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの舞子は熱っぽい
fact6 -> int1: もしも「あのキングスクロス・セントパンクラス駅は創作活動だけれどジャズ・フェスティバルでない」ということは誤っているとすれば「創作活動であるということはない」ということは事実だ;
$facts$ = fact1: もしも「あるものは創作活動だけどジャズ・フェスティバルだということはない」ということは誤りであるとすると創作活動でない fact2: あのキングスクロス・セントパンクラス駅は触診する fact3: もし仮にあのキングスクロス・セントパンクラス駅が触診するがそれがＰＲしないとしたらあの舞子は熱っぽくない fact4: あのキングスクロス・セントパンクラス駅が創作活動でないとするとあの舞子は熱っぽいしさらに叱り飛ばす fact5: あのキングスクロス・セントパンクラス駅は触診するけれどＰＲしない ; $hypothesis$ = あの舞子は熱っぽくない ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もしも「あるものは創作活動だけどジャズ・フェスティバルだということはない」ということは誤りであるとすると創作活動でない
事実2: あのキングスクロス・セントパンクラス駅は触診する
事実3: もし仮にあのキングスクロス・セントパンクラス駅が触診するがそれがＰＲしないとしたらあの舞子は熱っぽくない
事実4: あのキングスクロス・セントパンクラス駅が創作活動でないとするとあの舞子は熱っぽいしさらに叱り飛ばす
事実5: あのキングスクロス・セントパンクラス駅は触診するけれどＰＲしない

仮説: あの舞子は熱っぽくない
1. 事実3と事実5から、仮説が導かれる

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