「「もしも「悟りでない一方で耐え難い」ということは成り立たないとすると真っ暗くない」物はある」ということは誤りだ
fact1: 仮に「このテロ戦争は悟りでない」ということは嘘だとするとそれは真っ暗くない fact2: もし仮に「「このテロ戦争は悟りであるということはないけどそれは耐え難い」ということは事実である」ということは嘘だとしたら真っ暗くない fact3: もし「とあるものは岩波講座世界歴史でないけど室橋等である」ということは事実と異なるとすればそれは構造的変化でない fact4: 「もし「悟りだし耐え難い」ということは誤りであるなら真っ暗くない」物はある fact5: もし「このテロ戦争は悟りだということはないがしかし耐え難い」ということは成り立たないとするとそれは真っ暗い fact6: 「仮に悟りならば真っ暗くない」ものはある fact7: 「もしも悟りでなくておまけに耐え難いとすれば真っ暗くない」ものはある
fact2 -> hypothesis;
「「岩波講座世界歴史だということはないけれど室橋等である」ということは偽であるとしたら構造的変化でない」ものはある
fact8 -> int1: 仮に「その霧吹きは岩波講座世界歴史でないけど室橋等だ」ということは成り立たないならそれは構造的変化でない; int1 -> hypothesis;
$facts$ = fact1: 仮に「このテロ戦争は悟りでない」ということは嘘だとするとそれは真っ暗くない fact2: もし仮に「「このテロ戦争は悟りであるということはないけどそれは耐え難い」ということは事実である」ということは嘘だとしたら真っ暗くない fact3: もし「とあるものは岩波講座世界歴史でないけど室橋等である」ということは事実と異なるとすればそれは構造的変化でない fact4: 「もし「悟りだし耐え難い」ということは誤りであるなら真っ暗くない」物はある fact5: もし「このテロ戦争は悟りだということはないがしかし耐え難い」ということは成り立たないとするとそれは真っ暗い fact6: 「仮に悟りならば真っ暗くない」ものはある fact7: 「もしも悟りでなくておまけに耐え難いとすれば真っ暗くない」ものはある ; $hypothesis$ = 「「もしも「悟りでない一方で耐え難い」ということは成り立たないとすると真っ暗くない」物はある」ということは誤りだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「このテロ戦争は悟りでない」ということは嘘だとするとそれは真っ暗くない
事実2: もし仮に「「このテロ戦争は悟りであるということはないけどそれは耐え難い」ということは事実である」ということは嘘だとしたら真っ暗くない
事実3: もし「とあるものは岩波講座世界歴史でないけど室橋等である」ということは事実と異なるとすればそれは構造的変化でない
事実4: 「もし「悟りだし耐え難い」ということは誤りであるなら真っ暗くない」物はある
事実5: もし「このテロ戦争は悟りだということはないがしかし耐え難い」ということは成り立たないとするとそれは真っ暗い
事実6: 「仮に悟りならば真っ暗くない」ものはある
事実7: 「もしも悟りでなくておまけに耐え難いとすれば真っ暗くない」ものはある

仮説: 「「もしも「悟りでない一方で耐え難い」ということは成り立たないとすると真っ暗くない」物はある」ということは誤りだ
1. 事実2から、仮説が否定される

よって、仮説が否定されました。