「「もしも忍耐強くないとすると「沈思しくなくて更に灯し難くない」ということは成り立たない」ものはある」ということは誤りだ
fact1: 「「仮に「忍耐強くない」ということは確かであるならば「沈思するということはないが灯し難い」ということは偽な」物はある」ということは正しい fact2: なにかは征伐しないなら「老人であるということはなくてタルトレット型でない」ということは嘘だ fact3: 仮にその鎔燐は忍耐強くないとすれば「沈思しくなくてまたそれは灯し難くない」ということは間違いである fact4: もしもその鎔燐は思い残さないなら「リットン報告書でないが苛立つ」ということは成り立たない fact5: もしその鎔燐は忍耐強いならば「「それは沈思しくないしそれに灯し難くない」ということは真実だ」ということは成り立たない fact6: もし仮になにがしかのものは超克しないとすれば「筋注しなくてかつ訴訟記録でない」ということは偽である fact7: 「仮に「忍耐強くない」ということは本当であるとしたら「沈思するしそれに灯し難くない」ということは間違っている」物はある
fact3 -> hypothesis;
「もし仮に超克しないとしたら「筋注しなくてかつ訴訟記録でない」ということは事実と異なる」物はある
fact8 -> int1: 仮にその心霊史は超克しないとしたら「それは筋注するということはなくておまけに訴訟記録だということはない」ということは真実でない; int1 -> hypothesis;
$facts$ = fact1: 「「仮に「忍耐強くない」ということは確かであるならば「沈思するということはないが灯し難い」ということは偽な」物はある」ということは正しい fact2: なにかは征伐しないなら「老人であるということはなくてタルトレット型でない」ということは嘘だ fact3: 仮にその鎔燐は忍耐強くないとすれば「沈思しくなくてまたそれは灯し難くない」ということは間違いである fact4: もしもその鎔燐は思い残さないなら「リットン報告書でないが苛立つ」ということは成り立たない fact5: もしその鎔燐は忍耐強いならば「「それは沈思しくないしそれに灯し難くない」ということは真実だ」ということは成り立たない fact6: もし仮になにがしかのものは超克しないとすれば「筋注しなくてかつ訴訟記録でない」ということは偽である fact7: 「仮に「忍耐強くない」ということは本当であるとしたら「沈思するしそれに灯し難くない」ということは間違っている」物はある ; $hypothesis$ = 「「もしも忍耐強くないとすると「沈思しくなくて更に灯し難くない」ということは成り立たない」ものはある」ということは誤りだ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「「仮に「忍耐強くない」ということは確かであるならば「沈思するということはないが灯し難い」ということは偽な」物はある」ということは正しい
事実2: なにかは征伐しないなら「老人であるということはなくてタルトレット型でない」ということは嘘だ
事実3: 仮にその鎔燐は忍耐強くないとすれば「沈思しくなくてまたそれは灯し難くない」ということは間違いである
事実4: もしもその鎔燐は思い残さないなら「リットン報告書でないが苛立つ」ということは成り立たない
事実5: もしその鎔燐は忍耐強いならば「「それは沈思しくないしそれに灯し難くない」ということは真実だ」ということは成り立たない
事実6: もし仮になにがしかのものは超克しないとすれば「筋注しなくてかつ訴訟記録でない」ということは偽である
事実7: 「仮に「忍耐強くない」ということは本当であるとしたら「沈思するしそれに灯し難くない」ということは間違っている」物はある

仮説: 「「もしも忍耐強くないとすると「沈思しくなくて更に灯し難くない」ということは成り立たない」ものはある」ということは誤りだ
1. 事実3から、仮説が否定される

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