「「放火するということはない」ものはある」ということは間違いだ
fact1: 仮にあのタイムスタンプオプションが例外無くないしさらに絶え間無いということはないならあの天気は放火するということはない fact2: もし「「この伺いは気怠い」ということは正しい」ということは成り立たないなら「あのタイムスタンプオプションは絶え間無くない」ということは成り立つ fact3: 「「放火する」ということは事実である」物はある fact4: もしあのタイムスタンプオプションが絶え間無くないししかも放火するということはないとするとあの天気は例外無くない fact5: なんらかのものは惨たらしいということはない fact6: もしこの伺いが気怠いということはないとするとあのタイムスタンプオプションは例外無いということはないしかつ絶え間無くない fact7: 「仮にあのタイムスタンプオプションが例外無くないがしかし絶え間無いとしたら「あの天気は放火しない」ということは嘘でない」ということは事実である fact8: この伺いは気怠くらない fact9: この書面検査は絶え間無くない fact10: 「例外無くない」ものはある fact11: もしこの伺いが例外無くなくてまた絶え間無いということはないとすればあのタイムスタンプオプションは気怠くらない fact12: この伺いは絶え間無くない fact13: あのタイムスタンプオプションは絶え間無くない fact14: もしあの天気が絶え間無くないならこの伺いは気怠くらなくて放火するということはない fact15: あのタイムスタンプオプションが気怠くらないし絶え間無くないとするとこの伺いは例外無くない
fact6 & fact8 -> int1: あのタイムスタンプオプションは例外無くないし絶え間無くない; int1 & fact1 -> int2: あの天気は放火しない; int2 -> hypothesis;
$facts$ = fact1: 仮にあのタイムスタンプオプションが例外無くないしさらに絶え間無いということはないならあの天気は放火するということはない fact2: もし「「この伺いは気怠い」ということは正しい」ということは成り立たないなら「あのタイムスタンプオプションは絶え間無くない」ということは成り立つ fact3: 「「放火する」ということは事実である」物はある fact4: もしあのタイムスタンプオプションが絶え間無くないししかも放火するということはないとするとあの天気は例外無くない fact5: なんらかのものは惨たらしいということはない fact6: もしこの伺いが気怠いということはないとするとあのタイムスタンプオプションは例外無いということはないしかつ絶え間無くない fact7: 「仮にあのタイムスタンプオプションが例外無くないがしかし絶え間無いとしたら「あの天気は放火しない」ということは嘘でない」ということは事実である fact8: この伺いは気怠くらない fact9: この書面検査は絶え間無くない fact10: 「例外無くない」ものはある fact11: もしこの伺いが例外無くなくてまた絶え間無いということはないとすればあのタイムスタンプオプションは気怠くらない fact12: この伺いは絶え間無くない fact13: あのタイムスタンプオプションは絶え間無くない fact14: もしあの天気が絶え間無くないならこの伺いは気怠くらなくて放火するということはない fact15: あのタイムスタンプオプションが気怠くらないし絶え間無くないとするとこの伺いは例外無くない ; $hypothesis$ = 「「放火するということはない」ものはある」ということは間違いだ ; $proof$ = 
fact6 & fact8 -> int1: あのタイムスタンプオプションは例外無くないし絶え間無くない; int1 & fact1 -> int2: あの天気は放火しない; int2 -> hypothesis; __DISPROVED__
事実1: 仮にあのタイムスタンプオプションが例外無くないしさらに絶え間無いということはないならあの天気は放火するということはない
事実2: もし「「この伺いは気怠い」ということは正しい」ということは成り立たないなら「あのタイムスタンプオプションは絶え間無くない」ということは成り立つ
事実3: 「「放火する」ということは事実である」物はある
事実4: もしあのタイムスタンプオプションが絶え間無くないししかも放火するということはないとするとあの天気は例外無くない
事実5: なんらかのものは惨たらしいということはない
事実6: もしこの伺いが気怠いということはないとするとあのタイムスタンプオプションは例外無いということはないしかつ絶え間無くない
事実7: 「仮にあのタイムスタンプオプションが例外無くないがしかし絶え間無いとしたら「あの天気は放火しない」ということは嘘でない」ということは事実である
事実8: この伺いは気怠くらない
事実9: この書面検査は絶え間無くない
事実10: 「例外無くない」ものはある
事実11: もしこの伺いが例外無くなくてまた絶え間無いということはないとすればあのタイムスタンプオプションは気怠くらない
事実12: この伺いは絶え間無くない
事実13: あのタイムスタンプオプションは絶え間無くない
事実14: もしあの天気が絶え間無くないならこの伺いは気怠くらなくて放火するということはない
事実15: あのタイムスタンプオプションが気怠くらないし絶え間無くないとするとこの伺いは例外無くない

仮説: 「「放火するということはない」ものはある」ということは間違いだ
1. 事実6と事実8から、推論1: "あのタイムスタンプオプションは例外無くないし絶え間無くない"が導かれる
2. 推論1と事実1から、推論2: "あの天気は放火しない"が導かれる
3. 推論2から、仮説が否定される

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