その山躑躅は遣り辛くない
fact1: その山躑躅が論破しないしさらにそれは赤血球速度でない fact2: もしもこの書面性が即すとしたらその重力モデルは即す fact3: この医師患者関係が倭国全体でないとすればあのストレス蛋白質は目新しくないがしかし伝え難い fact4: もしその重力モデルが踏み越えるとするとその山躑躅は遣り辛い fact5: もし仮にあるものが即すとすれば踏み越える fact6: もしそのストレス蛋白質が目新しくないがそれが伝え難いとしたらこの書面性はウェルウィッチアでない fact7: 仮に「あるものはウェルウィッチアでない」ということは真実ならばそれは即すししかも鯉口である fact8: もし仮にその山躑躅は論破しなくて赤血球速度でないとすれば遣り辛くない
fact8 & fact1 -> hypothesis;
fact8 & fact1 -> hypothesis;
その山躑躅は遣り辛い
fact13 -> int1: もし仮に「その重力モデルは即す」ということは嘘でないとしたら踏み越える; fact11 -> int2: この書面性はウェルウィッチアでないとしたら即すしさらに鯉口である;
$facts$ = fact1: その山躑躅が論破しないしさらにそれは赤血球速度でない fact2: もしもこの書面性が即すとしたらその重力モデルは即す fact3: この医師患者関係が倭国全体でないとすればあのストレス蛋白質は目新しくないがしかし伝え難い fact4: もしその重力モデルが踏み越えるとするとその山躑躅は遣り辛い fact5: もし仮にあるものが即すとすれば踏み越える fact6: もしそのストレス蛋白質が目新しくないがそれが伝え難いとしたらこの書面性はウェルウィッチアでない fact7: 仮に「あるものはウェルウィッチアでない」ということは真実ならばそれは即すししかも鯉口である fact8: もし仮にその山躑躅は論破しなくて赤血球速度でないとすれば遣り辛くない ; $hypothesis$ = その山躑躅は遣り辛くない ; $proof$ = 
fact8 & fact1 -> hypothesis; __PROVED__
事実1: その山躑躅が論破しないしさらにそれは赤血球速度でない
事実2: もしもこの書面性が即すとしたらその重力モデルは即す
事実3: この医師患者関係が倭国全体でないとすればあのストレス蛋白質は目新しくないがしかし伝え難い
事実4: もしその重力モデルが踏み越えるとするとその山躑躅は遣り辛い
事実5: もし仮にあるものが即すとすれば踏み越える
事実6: もしそのストレス蛋白質が目新しくないがそれが伝え難いとしたらこの書面性はウェルウィッチアでない
事実7: 仮に「あるものはウェルウィッチアでない」ということは真実ならばそれは即すししかも鯉口である
事実8: もし仮にその山躑躅は論破しなくて赤血球速度でないとすれば遣り辛くない

仮説: その山躑躅は遣り辛くない
1. 事実8と事実1から、仮説が導かれる

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