「素晴らしということはないとしたら「「冷たくなくてかつ結び直さない」ということは正しい」ということは事実と異なる」ものはある
fact1: もしある物は素晴らしないとすれば「冷たくてさらに結び直すということはない」ということは事実と異なる fact2: もしもなにかは素晴らしないなら「それは冷たくなくて結び直さない」ということは成り立たない fact3: 「痛々しいとすれば「扇がないし要約しない」ということは成り立たない」ものはある fact4: 仮に「なんらかの物は間断無くない」ということは成り立つとすれば「滞り易くないし上昇幅でない」ということは誤りだ fact5: 「保護措置でないなら「騒がしくないし望めない」ということは誤りである」ものはある fact6: 「もし仮に心意気でないとすると「「黒字化しないけれど徒らっぽい」ということは事実である」ということは成り立たない」ものはある fact7: 「仮に素晴らしないとしたら冷たくなくてその上結び直すということはない」物はある
fact2 -> int1: もしあのミスマッチは素晴らしないならば「それは冷たくないしかつ結び直さない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしある物は素晴らしないとすれば「冷たくてさらに結び直すということはない」ということは事実と異なる fact2: もしもなにかは素晴らしないなら「それは冷たくなくて結び直さない」ということは成り立たない fact3: 「痛々しいとすれば「扇がないし要約しない」ということは成り立たない」ものはある fact4: 仮に「なんらかの物は間断無くない」ということは成り立つとすれば「滞り易くないし上昇幅でない」ということは誤りだ fact5: 「保護措置でないなら「騒がしくないし望めない」ということは誤りである」ものはある fact6: 「もし仮に心意気でないとすると「「黒字化しないけれど徒らっぽい」ということは事実である」ということは成り立たない」ものはある fact7: 「仮に素晴らしないとしたら冷たくなくてその上結び直すということはない」物はある ; $hypothesis$ = 「素晴らしということはないとしたら「「冷たくなくてかつ結び直さない」ということは正しい」ということは事実と異なる」ものはある ; $proof$ = 
fact2 -> int1: もしあのミスマッチは素晴らしないならば「それは冷たくないしかつ結び直さない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もしある物は素晴らしないとすれば「冷たくてさらに結び直すということはない」ということは事実と異なる
事実2: もしもなにかは素晴らしないなら「それは冷たくなくて結び直さない」ということは成り立たない
事実3: 「痛々しいとすれば「扇がないし要約しない」ということは成り立たない」ものはある
事実4: 仮に「なんらかの物は間断無くない」ということは成り立つとすれば「滞り易くないし上昇幅でない」ということは誤りだ
事実5: 「保護措置でないなら「騒がしくないし望めない」ということは誤りである」ものはある
事実6: 「もし仮に心意気でないとすると「「黒字化しないけれど徒らっぽい」ということは事実である」ということは成り立たない」ものはある
事実7: 「仮に素晴らしないとしたら冷たくなくてその上結び直すということはない」物はある

仮説: 「素晴らしということはないとしたら「「冷たくなくてかつ結び直さない」ということは正しい」ということは事実と異なる」ものはある
1. 事実2から、推論1: "もしあのミスマッチは素晴らしないならば「それは冷たくないしかつ結び直さない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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