「その痙性麻痺は留まり続ける」ということは誤りでない
fact1: 仮にあるものが奥深くないならばそれは相談致すけれど取り違えない fact2: その基準作りは奥深い fact3: 「誘導する」ものはある fact4: その痙性麻痺は誘導する fact5: 「奥深いしそれに相談致す」物があるとすればあの第一小氷期は留まり続けない fact6: 仮になにがしかの物が相談致さないとすると留まり続けるしかつ奥深い fact7: 「その基準作りは相談致す」ということは間違いでない fact8: その第一小氷期が留まり続けないとすればその痙性麻痺は誘導するけどそれは留まり続けない
fact2 & fact7 -> int1: その基準作りは奥深いしかつそれは相談致す; int1 -> int2: 「奥深いししかも相談致す」ものはある; int2 & fact5 -> int3: 「その第一小氷期は留まり続けない」ということは成り立つ; int3 & fact8 -> int4: その痙性麻痺は誘導するが留まり続けない; int4 -> hypothesis;
その第一小氷期は相談致すけれど取り違えない
fact9 -> int5: もし仮にその第一小氷期は奥深くないならば「相談致すしまたそれは取り違えない」ということは成り立つ;
$facts$ = fact1: 仮にあるものが奥深くないならばそれは相談致すけれど取り違えない fact2: その基準作りは奥深い fact3: 「誘導する」ものはある fact4: その痙性麻痺は誘導する fact5: 「奥深いしそれに相談致す」物があるとすればあの第一小氷期は留まり続けない fact6: 仮になにがしかの物が相談致さないとすると留まり続けるしかつ奥深い fact7: 「その基準作りは相談致す」ということは間違いでない fact8: その第一小氷期が留まり続けないとすればその痙性麻痺は誘導するけどそれは留まり続けない ; $hypothesis$ = 「その痙性麻痺は留まり続ける」ということは誤りでない ; $proof$ = 
fact2 & fact7 -> int1: その基準作りは奥深いしかつそれは相談致す; int1 -> int2: 「奥深いししかも相談致す」ものはある; int2 & fact5 -> int3: 「その第一小氷期は留まり続けない」ということは成り立つ; int3 & fact8 -> int4: その痙性麻痺は誘導するが留まり続けない; int4 -> hypothesis; __DISPROVED__
事実1: 仮にあるものが奥深くないならばそれは相談致すけれど取り違えない
事実2: その基準作りは奥深い
事実3: 「誘導する」ものはある
事実4: その痙性麻痺は誘導する
事実5: 「奥深いしそれに相談致す」物があるとすればあの第一小氷期は留まり続けない
事実6: 仮になにがしかの物が相談致さないとすると留まり続けるしかつ奥深い
事実7: 「その基準作りは相談致す」ということは間違いでない
事実8: その第一小氷期が留まり続けないとすればその痙性麻痺は誘導するけどそれは留まり続けない

仮説: 「その痙性麻痺は留まり続ける」ということは誤りでない
1. 事実2と事実7から、推論1: "その基準作りは奥深いしかつそれは相談致す"が導かれる
2. 推論1から、推論2: "「奥深いししかも相談致す」ものはある"が導かれる
3. 推論2と事実5から、推論3: "「その第一小氷期は留まり続けない」ということは成り立つ"が導かれる
4. 推論3と事実8から、推論4: "その痙性麻痺は誘導するが留まり続けない"が導かれる
5. 推論4から、仮説が否定される

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