この波紋は反省すかもしくは関係演算子であるかもしくは両方だ
fact1: このルーツは反省す fact2: 仮に何らかの物はＲＥネットでないとしたら「それが招き易いしその上それは取り崩す」ということは成り立たない fact3: この波紋は反省す
fact3 -> hypothesis;
fact3 -> hypothesis;
「この波紋は反省すかあるいはそれは関係演算子であるかまたはどちらもだ」ということは嘘である
fact4 -> int1: もしもこのびら配りはＲＥネットでないとすれば「招き易いしまた取り崩す」ということは成り立たない;
$facts$ = fact1: このルーツは反省す fact2: 仮に何らかの物はＲＥネットでないとしたら「それが招き易いしその上それは取り崩す」ということは成り立たない fact3: この波紋は反省す ; $hypothesis$ = この波紋は反省すかもしくは関係演算子であるかもしくは両方だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: このルーツは反省す
事実2: 仮に何らかの物はＲＥネットでないとしたら「それが招き易いしその上それは取り崩す」ということは成り立たない
事実3: この波紋は反省す

仮説: この波紋は反省すかもしくは関係演算子であるかもしくは両方だ
1. 事実3から、仮説が導かれる

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