「もし「置き易くなくてかつ敵同士でない」ということは間違いであるならば夫側でない」ものはある
fact1: もしも「この七味焼きは置き易くなくてまた敵同士でない」ということは間違っているとすれば夫側でない fact2: 「「置き易くない一方で敵同士である」ということは事実でないとすると夫側だということはない」物はある fact3: もしも「何らかのものは伝存しないしそれは置き易くない」ということは嘘ならそれはとろくない
fact1 -> hypothesis;
fact1 -> hypothesis;
もしも「あのローターギアは伝存しないしかつ置き易くない」ということは本当でないとしたら「とろくない」ということは事実だ
fact4 -> hypothesis;
$facts$ = fact1: もしも「この七味焼きは置き易くなくてまた敵同士でない」ということは間違っているとすれば夫側でない fact2: 「「置き易くない一方で敵同士である」ということは事実でないとすると夫側だということはない」物はある fact3: もしも「何らかのものは伝存しないしそれは置き易くない」ということは嘘ならそれはとろくない ; $hypothesis$ = 「もし「置き易くなくてかつ敵同士でない」ということは間違いであるならば夫側でない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしも「この七味焼きは置き易くなくてまた敵同士でない」ということは間違っているとすれば夫側でない
事実2: 「「置き易くない一方で敵同士である」ということは事実でないとすると夫側だということはない」物はある
事実3: もしも「何らかのものは伝存しないしそれは置き易くない」ということは嘘ならそれはとろくない

仮説: 「もし「置き易くなくてかつ敵同士でない」ということは間違いであるならば夫側でない」ものはある
1. 事実1から、仮説が導かれる

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