「その全反射は記録しないかあるいはそれは左右され易い」ということは事実と異なる
fact1: 脂分は記録しないかもしくは左右され易いかもしくは両方だ fact2: 「その全反射は満たし続けるということはないかもしくはそれは受け辛いかもしくは両方である」ということは誤りである fact3: 「その全反射は寒々しかないかあるいは本師であるかまたは両方ともである」ということは成り立たない fact4: その全反射は記録する fact5: 「この腑分けは左右され易いということはないかあるいはそれは温まるかもしくは両方ともである」ということは事実と異なる fact6: 「その全反射は記録しないかあるいはそれは左右され易い」ということは誤っている fact7: 「その全反射は御示し下さらないかまたはそれは攻め滅ぼす」ということは嘘である fact8: 「この馬齢は扱い難いということはないかまたは左右され易いかまたは両方ともである」ということは成り立たない fact9: 「この遊離縁は記録しないかもしくはそれは核軍拡であるかまたは両方だ」ということは誤っている fact10: 「この複合音は行い易くないかもしくは左右され易いかまたは両方ともである」ということは誤っている
fact6 -> hypothesis;
その全反射は記録しないかもしくは左右され易いかまたはどちらもである
fact11 -> int1: もしもその全反射が脂分であるとすれば記録しないか左右され易い;
$facts$ = fact1: 脂分は記録しないかもしくは左右され易いかもしくは両方だ fact2: 「その全反射は満たし続けるということはないかもしくはそれは受け辛いかもしくは両方である」ということは誤りである fact3: 「その全反射は寒々しかないかあるいは本師であるかまたは両方ともである」ということは成り立たない fact4: その全反射は記録する fact5: 「この腑分けは左右され易いということはないかあるいはそれは温まるかもしくは両方ともである」ということは事実と異なる fact6: 「その全反射は記録しないかあるいはそれは左右され易い」ということは誤っている fact7: 「その全反射は御示し下さらないかまたはそれは攻め滅ぼす」ということは嘘である fact8: 「この馬齢は扱い難いということはないかまたは左右され易いかまたは両方ともである」ということは成り立たない fact9: 「この遊離縁は記録しないかもしくはそれは核軍拡であるかまたは両方だ」ということは誤っている fact10: 「この複合音は行い易くないかもしくは左右され易いかまたは両方ともである」ということは誤っている ; $hypothesis$ = 「その全反射は記録しないかあるいはそれは左右され易い」ということは事実と異なる ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 脂分は記録しないかもしくは左右され易いかもしくは両方だ
事実2: 「その全反射は満たし続けるということはないかもしくはそれは受け辛いかもしくは両方である」ということは誤りである
事実3: 「その全反射は寒々しかないかあるいは本師であるかまたは両方ともである」ということは成り立たない
事実4: その全反射は記録する
事実5: 「この腑分けは左右され易いということはないかあるいはそれは温まるかもしくは両方ともである」ということは事実と異なる
事実6: 「その全反射は記録しないかあるいはそれは左右され易い」ということは誤っている
事実7: 「その全反射は御示し下さらないかまたはそれは攻め滅ぼす」ということは嘘である
事実8: 「この馬齢は扱い難いということはないかまたは左右され易いかまたは両方ともである」ということは成り立たない
事実9: 「この遊離縁は記録しないかもしくはそれは核軍拡であるかまたは両方だ」ということは誤っている
事実10: 「この複合音は行い易くないかもしくは左右され易いかまたは両方ともである」ということは誤っている

仮説: 「その全反射は記録しないかあるいはそれは左右され易い」ということは事実と異なる
1. 事実6から、仮説が導かれる

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