このＮＧは憎しないけれど合併疾患である
fact1: そのトリップは勢い付かない一方で憎し fact2: もし「この収差は思い易いか愛しまない」ということは確かであるということはないとするとこのＮＧは思い易くない fact3: もし仮にこのＮＧが思い易くないとするとその階段等は生み易くないけれど護衛する fact4: もし仮になんらかのものは摩り替わるとすれば「それは思い易いかまたは愛しまないかもしくは両方である」ということは成り立つということはない fact5: このＮＧは引き直すということはないけれど切り開ける fact6: このＮＧは憎しないがしかしそれは合併疾患だ fact7: もしもその活発化が摩り替わるとするとこの収差は摩り替わる fact8: このＮＧは憎しということはない fact9: もしもこのＮＧは思い易いということはないならば「それは憎しないが合併疾患だ」ということは本当でない
fact6 -> hypothesis;
fact6 -> hypothesis;
その階段等は生み易くないが護衛する
fact11 -> int1: 「この収差は摩り替わる」ということは偽でないとすれば「思い易いかまたは愛しまない」ということは間違いである;
$facts$ = fact1: そのトリップは勢い付かない一方で憎し fact2: もし「この収差は思い易いか愛しまない」ということは確かであるということはないとするとこのＮＧは思い易くない fact3: もし仮にこのＮＧが思い易くないとするとその階段等は生み易くないけれど護衛する fact4: もし仮になんらかのものは摩り替わるとすれば「それは思い易いかまたは愛しまないかもしくは両方である」ということは成り立つということはない fact5: このＮＧは引き直すということはないけれど切り開ける fact6: このＮＧは憎しないがしかしそれは合併疾患だ fact7: もしもその活発化が摩り替わるとするとこの収差は摩り替わる fact8: このＮＧは憎しということはない fact9: もしもこのＮＧは思い易いということはないならば「それは憎しないが合併疾患だ」ということは本当でない ; $hypothesis$ = このＮＧは憎しないけれど合併疾患である ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: そのトリップは勢い付かない一方で憎し
事実2: もし「この収差は思い易いか愛しまない」ということは確かであるということはないとするとこのＮＧは思い易くない
事実3: もし仮にこのＮＧが思い易くないとするとその階段等は生み易くないけれど護衛する
事実4: もし仮になんらかのものは摩り替わるとすれば「それは思い易いかまたは愛しまないかもしくは両方である」ということは成り立つということはない
事実5: このＮＧは引き直すということはないけれど切り開ける
事実6: このＮＧは憎しないがしかしそれは合併疾患だ
事実7: もしもその活発化が摩り替わるとするとこの収差は摩り替わる
事実8: このＮＧは憎しということはない
事実9: もしもこのＮＧは思い易いということはないならば「それは憎しないが合併疾患だ」ということは本当でない

仮説: このＮＧは憎しないけれど合併疾患である
1. 事実6から、仮説が導かれる

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