あの焼き戻しはレイヤであるということはないかまたはそれはつべたいかあるいはどちらもだ
fact1: とあるものは入れ溶かさないなら「それはレイヤでないかまたはつべたいかまたはどちらもだ」ということは間違いだ fact2: あの嫌気状態は入れ溶かすしその上つべたい fact3: あの焼き戻しはつべたいかあるいはそれは入れ溶かす fact4: もし仮にあの嫌気状態がつべたいとしたらあの焼き戻しはレイヤでないかもしくはそれはつべたい fact5: とあるものは救護しないならばそれはつべたくないししかもそれは入れ溶かす fact6: 仮にあの焼き戻しが救護するしその上放課なら入れ溶かさない
fact2 -> int1: あの嫌気状態はつべたい; int1 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
あの嫌気状態は恕するしさらにそれは併用する
fact7 -> int2: もしあの焼き戻しが救護しないならばそれはつべたいということはなくて更に入れ溶かす;
$facts$ = fact1: とあるものは入れ溶かさないなら「それはレイヤでないかまたはつべたいかまたはどちらもだ」ということは間違いだ fact2: あの嫌気状態は入れ溶かすしその上つべたい fact3: あの焼き戻しはつべたいかあるいはそれは入れ溶かす fact4: もし仮にあの嫌気状態がつべたいとしたらあの焼き戻しはレイヤでないかもしくはそれはつべたい fact5: とあるものは救護しないならばそれはつべたくないししかもそれは入れ溶かす fact6: 仮にあの焼き戻しが救護するしその上放課なら入れ溶かさない ; $hypothesis$ = あの焼き戻しはレイヤであるということはないかまたはそれはつべたいかあるいはどちらもだ ; $proof$ = 
fact2 -> int1: あの嫌気状態はつべたい; int1 & fact4 -> hypothesis; __PROVED__
事実1: とあるものは入れ溶かさないなら「それはレイヤでないかまたはつべたいかまたはどちらもだ」ということは間違いだ
事実2: あの嫌気状態は入れ溶かすしその上つべたい
事実3: あの焼き戻しはつべたいかあるいはそれは入れ溶かす
事実4: もし仮にあの嫌気状態がつべたいとしたらあの焼き戻しはレイヤでないかもしくはそれはつべたい
事実5: とあるものは救護しないならばそれはつべたくないししかもそれは入れ溶かす
事実6: 仮にあの焼き戻しが救護するしその上放課なら入れ溶かさない

仮説: あの焼き戻しはレイヤであるということはないかまたはそれはつべたいかあるいはどちらもだ
1. 事実2から、推論1: "あの嫌気状態はつべたい"が導かれる
2. 推論1と事実4から、仮説が導かれる

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