「もしもテンソルだとすると「気高しかまたは生き辛くない」ということは誤っている」物はある
fact1: 「もし「テンソルである」ということは事実と異ならないとすると気高しない」物はある fact2: 「もしテンソルならば気高しかもしくは生き辛くないかもしくは両方ともである」物はある fact3: 「テンソルであるとすれば「気高しかもしくは生き辛いかあるいは両方だ」ということは成り立たない」ものはある fact4: 仮にあの送致はテンソルであるとすると「それは気高しか生き辛くないかどちらもである」ということは嘘だ fact5: もし仮にあるものは過不足無いとしたら「息苦しいか起訴しないかもしくはどちらもである」ということは成り立たない fact6: もしあの占領下が生き辛いならそれは起き難いかあるいは落っこちるということはないか両方ともである fact7: 「もしテンソルなら生き辛い」ものはある fact8: もし仮にあの送致はテンソルであるとすれば生き辛い
fact4 -> hypothesis;
「もしも過不足無いならば「息苦しいか起訴しないかもしくは両方である」ということは成り立たない」物はある
fact9 -> int1: もし仮にこの救難球は過不足無いとすれば「それは息苦しいかもしくは起訴しない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「もし「テンソルである」ということは事実と異ならないとすると気高しない」物はある fact2: 「もしテンソルならば気高しかもしくは生き辛くないかもしくは両方ともである」物はある fact3: 「テンソルであるとすれば「気高しかもしくは生き辛いかあるいは両方だ」ということは成り立たない」ものはある fact4: 仮にあの送致はテンソルであるとすると「それは気高しか生き辛くないかどちらもである」ということは嘘だ fact5: もし仮にあるものは過不足無いとしたら「息苦しいか起訴しないかもしくはどちらもである」ということは成り立たない fact6: もしあの占領下が生き辛いならそれは起き難いかあるいは落っこちるということはないか両方ともである fact7: 「もしテンソルなら生き辛い」ものはある fact8: もし仮にあの送致はテンソルであるとすれば生き辛い ; $hypothesis$ = 「もしもテンソルだとすると「気高しかまたは生き辛くない」ということは誤っている」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし「テンソルである」ということは事実と異ならないとすると気高しない」物はある
事実2: 「もしテンソルならば気高しかもしくは生き辛くないかもしくは両方ともである」物はある
事実3: 「テンソルであるとすれば「気高しかもしくは生き辛いかあるいは両方だ」ということは成り立たない」ものはある
事実4: 仮にあの送致はテンソルであるとすると「それは気高しか生き辛くないかどちらもである」ということは嘘だ
事実5: もし仮にあるものは過不足無いとしたら「息苦しいか起訴しないかもしくはどちらもである」ということは成り立たない
事実6: もしあの占領下が生き辛いならそれは起き難いかあるいは落っこちるということはないか両方ともである
事実7: 「もしテンソルなら生き辛い」ものはある
事実8: もし仮にあの送致はテンソルであるとすれば生き辛い

仮説: 「もしもテンソルだとすると「気高しかまたは生き辛くない」ということは誤っている」物はある
1. 事実4から、仮説が導かれる

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