「その記載上は激流だがしかしチマチョゴリでない」ということは誤りである
fact1: もしもその項目が逆行するしその上透徹するとしたら目まぐるしかない fact2: その項目は逆行するし透徹する fact3: 「もしもその記載上が透徹しないとするとその項目は激流だがしかしそれは目まぐるしかない」ということは事実である fact4: もしも「あるものは目まぐるしいし加えて走りだ」ということは成り立つということはないならばそれは目まぐるしかない fact5: もし仮にその項目がチマチョゴリでないとするとその記載上は激流だけれど目まぐるしいということはない fact6: もしもその絶望は刺々しかないけど掛け過ぎるとしたらチマチョゴリだということはない fact7: その絶望は刺々しかない一方でそれは掛け過ぎる fact8: 「何かは走りであるしおまけに刺々しい」ということは事実と異なるなら目まぐるしかない fact9: その項目は逆行するけどチマチョゴリでない fact10: もし仮にその項目が目まぐるしかないとしたらその記載上は激流だがそれはチマチョゴリだということはない fact11: この蛍光ガラス線量計はチマチョゴリでない
fact1 & fact2 -> int1: その項目は目まぐるしかない; int1 & fact10 -> hypothesis;
「その記載上が激流だけどそれはチマチョゴリでない」ということは誤りである
fact12 -> int2: もし仮に「その記載上は走りで刺々しい」ということは嘘だとするとそれは目まぐるしかない;
$facts$ = fact1: もしもその項目が逆行するしその上透徹するとしたら目まぐるしかない fact2: その項目は逆行するし透徹する fact3: 「もしもその記載上が透徹しないとするとその項目は激流だがしかしそれは目まぐるしかない」ということは事実である fact4: もしも「あるものは目まぐるしいし加えて走りだ」ということは成り立つということはないならばそれは目まぐるしかない fact5: もし仮にその項目がチマチョゴリでないとするとその記載上は激流だけれど目まぐるしいということはない fact6: もしもその絶望は刺々しかないけど掛け過ぎるとしたらチマチョゴリだということはない fact7: その絶望は刺々しかない一方でそれは掛け過ぎる fact8: 「何かは走りであるしおまけに刺々しい」ということは事実と異なるなら目まぐるしかない fact9: その項目は逆行するけどチマチョゴリでない fact10: もし仮にその項目が目まぐるしかないとしたらその記載上は激流だがそれはチマチョゴリだということはない fact11: この蛍光ガラス線量計はチマチョゴリでない ; $hypothesis$ = 「その記載上は激流だがしかしチマチョゴリでない」ということは誤りである ; $proof$ = 
fact1 & fact2 -> int1: その項目は目まぐるしかない; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもその項目が逆行するしその上透徹するとしたら目まぐるしかない
事実2: その項目は逆行するし透徹する
事実3: 「もしもその記載上が透徹しないとするとその項目は激流だがしかしそれは目まぐるしかない」ということは事実である
事実4: もしも「あるものは目まぐるしいし加えて走りだ」ということは成り立つということはないならばそれは目まぐるしかない
事実5: もし仮にその項目がチマチョゴリでないとするとその記載上は激流だけれど目まぐるしいということはない
事実6: もしもその絶望は刺々しかないけど掛け過ぎるとしたらチマチョゴリだということはない
事実7: その絶望は刺々しかない一方でそれは掛け過ぎる
事実8: 「何かは走りであるしおまけに刺々しい」ということは事実と異なるなら目まぐるしかない
事実9: その項目は逆行するけどチマチョゴリでない
事実10: もし仮にその項目が目まぐるしかないとしたらその記載上は激流だがそれはチマチョゴリだということはない
事実11: この蛍光ガラス線量計はチマチョゴリでない

仮説: 「その記載上は激流だがしかしチマチョゴリでない」ということは誤りである
1. 事実1と事実2から、推論1: "その項目は目まぐるしかない"が導かれる
2. 推論1と事実10から、仮説が否定される

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