「そのリウマチは限定出来るし励ましである」ということは事実でない
fact1: もしとある物は冷え易くないとすれば「限定出来るしおまけに励ましだ」ということは嘘である fact2: その火山岩が睨み返せばそのリウマチは限定出来る fact3: そのリウマチが届き難くないけど二十世紀最後ならそれは励ましである fact4: 何かは冷え易くないがしかしどす黒い fact5: 「この統制感は挫屈荷重でない」ということは成り立つ fact6: なにがしかの物は二十世紀最後だということはないがそれは限定出来る fact7: もし仮に冷え易いということはなくて更にどす黒いものがあるとしたらその火山岩は睨み返す fact8: もしもこの統制感は挫屈荷重でないとすれば「そのリウマチは届き難くないがしかし二十世紀最後である」ということは事実である
fact4 & fact7 -> int1: その火山岩は睨み返す; int1 & fact2 -> int2: そのリウマチは限定出来る; fact8 & fact5 -> int3: そのリウマチは届き難くないけれど二十世紀最後である; int3 & fact3 -> int4: そのリウマチは励ましである; int2 & int4 -> hypothesis;
「そのリウマチは限定出来るしかつ励ましだ」ということは誤りである
fact9 -> int5: 仮にそのリウマチは冷え易くないなら「限定出来るしそれは励ましだ」ということは成り立つということはない;
$facts$ = fact1: もしとある物は冷え易くないとすれば「限定出来るしおまけに励ましだ」ということは嘘である fact2: その火山岩が睨み返せばそのリウマチは限定出来る fact3: そのリウマチが届き難くないけど二十世紀最後ならそれは励ましである fact4: 何かは冷え易くないがしかしどす黒い fact5: 「この統制感は挫屈荷重でない」ということは成り立つ fact6: なにがしかの物は二十世紀最後だということはないがそれは限定出来る fact7: もし仮に冷え易いということはなくて更にどす黒いものがあるとしたらその火山岩は睨み返す fact8: もしもこの統制感は挫屈荷重でないとすれば「そのリウマチは届き難くないがしかし二十世紀最後である」ということは事実である ; $hypothesis$ = 「そのリウマチは限定出来るし励ましである」ということは事実でない ; $proof$ = 
fact4 & fact7 -> int1: その火山岩は睨み返す; int1 & fact2 -> int2: そのリウマチは限定出来る; fact8 & fact5 -> int3: そのリウマチは届き難くないけれど二十世紀最後である; int3 & fact3 -> int4: そのリウマチは励ましである; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もしとある物は冷え易くないとすれば「限定出来るしおまけに励ましだ」ということは嘘である
事実2: その火山岩が睨み返せばそのリウマチは限定出来る
事実3: そのリウマチが届き難くないけど二十世紀最後ならそれは励ましである
事実4: 何かは冷え易くないがしかしどす黒い
事実5: 「この統制感は挫屈荷重でない」ということは成り立つ
事実6: なにがしかの物は二十世紀最後だということはないがそれは限定出来る
事実7: もし仮に冷え易いということはなくて更にどす黒いものがあるとしたらその火山岩は睨み返す
事実8: もしもこの統制感は挫屈荷重でないとすれば「そのリウマチは届き難くないがしかし二十世紀最後である」ということは事実である

仮説: 「そのリウマチは限定出来るし励ましである」ということは事実でない
1. 事実4と事実7から、推論1: "その火山岩は睨み返す"が導かれる
2. 推論1と事実2から、推論2: "そのリウマチは限定出来る"が導かれる
3. 事実8と事実5から、推論3: "そのリウマチは届き難くないけれど二十世紀最後である"が導かれる
4. 推論3と事実3から、推論4: "そのリウマチは励ましである"が導かれる
5. 推論2と推論4から、仮説が否定される

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