あの白身魚は冷やさない
fact1: もしその偏はクラスでないとすれば「「あの白身魚はクラスであるけど柔らかくない」ということは成り立たない」ということは本当である fact2: 「この瞬発力は暴動直後である」ということは成り立つ fact3: とある物が暴動直後だとしたらあのタイツは海鳴りであるかまたは熱硬化性樹脂であるか両方ともである fact4: もし仮に「その組織的能力は防水するということはないがしかしリストする」ということは間違いだとしたらあの工兵は取れ易くない fact5: その組織的能力は覚え易いとすると「それは防水しないけれどリストする」ということは成り立つということはない fact6: もしあのタイツが海鳴りであるとすればあの潔癖症は記号論理だ fact7: 仮にその組織的能力が冷やさないし覚え易くないとすればあの白身魚は冷やさない fact8: あのタイツが防水すればその組織的能力は海鳴りである fact9: もし仮にあの白身魚がリストするならその組織的能力は柔らかい fact10: なにがしかのものが取れ易いとすれば冷やさないしかつ覚え易くない fact11: その組織的能力は覚え易い fact12: この潔癖症は柔らかいかあるいは記号論理だ fact13: 仮にあのタイツが熱硬化性樹脂だとしたらこの潔癖症は記号論理である fact14: 「あの白身魚は冷やさない一方でそれは防水する」ということは誤りであるなら「その偏はクラスでない」ということは真実だ fact15: もしも「あの工兵は取れ易くない」ということは成り立つとすればあの潔癖症は欲する fact16: 何らかのものは適用出来る fact17: この潔癖症が欲するしそれが記号論理ならその偏はクラスであるということはない fact18: もし仮に「なんらかのものはクラスだがしかし柔らかくない」ということは嘘であるとすればそれは冷やす
fact5 & fact11 -> int1: 「その組織的能力は防水しないがしかしリストする」ということは誤りである; int1 & fact4 -> int2: あの工兵は取れ易くない; int2 & fact15 -> int3: この潔癖症は欲する; fact2 -> int4: 「暴動直後な」物はある; fact3 & int4 -> int5: あのタイツは海鳴りであるかもしくは熱硬化性樹脂だ; int5 & fact13 & fact6 -> int6: この潔癖症は記号論理だ; int3 & int6 -> int7: この潔癖症は欲するしそれに記号論理である; int7 & fact17 -> int8: その偏はクラスでない; int8 & fact1 -> int9: 「あの白身魚はクラスだけど柔らかいということはない」ということは誤りである; fact18 -> int10: もしも「あの白身魚はクラスであるけどそれは柔らかくない」ということは誤りならば冷やす; int9 & int10 -> hypothesis;
あの白身魚は冷やさない
fact20 -> int11: 「仮にその組織的能力が取れ易いならその組織的能力は冷やさないし覚え易くない」ということは本当だ;
$facts$ = fact1: もしその偏はクラスでないとすれば「「あの白身魚はクラスであるけど柔らかくない」ということは成り立たない」ということは本当である fact2: 「この瞬発力は暴動直後である」ということは成り立つ fact3: とある物が暴動直後だとしたらあのタイツは海鳴りであるかまたは熱硬化性樹脂であるか両方ともである fact4: もし仮に「その組織的能力は防水するということはないがしかしリストする」ということは間違いだとしたらあの工兵は取れ易くない fact5: その組織的能力は覚え易いとすると「それは防水しないけれどリストする」ということは成り立つということはない fact6: もしあのタイツが海鳴りであるとすればあの潔癖症は記号論理だ fact7: 仮にその組織的能力が冷やさないし覚え易くないとすればあの白身魚は冷やさない fact8: あのタイツが防水すればその組織的能力は海鳴りである fact9: もし仮にあの白身魚がリストするならその組織的能力は柔らかい fact10: なにがしかのものが取れ易いとすれば冷やさないしかつ覚え易くない fact11: その組織的能力は覚え易い fact12: この潔癖症は柔らかいかあるいは記号論理だ fact13: 仮にあのタイツが熱硬化性樹脂だとしたらこの潔癖症は記号論理である fact14: 「あの白身魚は冷やさない一方でそれは防水する」ということは誤りであるなら「その偏はクラスでない」ということは真実だ fact15: もしも「あの工兵は取れ易くない」ということは成り立つとすればあの潔癖症は欲する fact16: 何らかのものは適用出来る fact17: この潔癖症が欲するしそれが記号論理ならその偏はクラスであるということはない fact18: もし仮に「なんらかのものはクラスだがしかし柔らかくない」ということは嘘であるとすればそれは冷やす ; $hypothesis$ = あの白身魚は冷やさない ; $proof$ = 
fact5 & fact11 -> int1: 「その組織的能力は防水しないがしかしリストする」ということは誤りである; int1 & fact4 -> int2: あの工兵は取れ易くない; int2 & fact15 -> int3: この潔癖症は欲する; fact2 -> int4: 「暴動直後な」物はある; fact3 & int4 -> int5: あのタイツは海鳴りであるかもしくは熱硬化性樹脂だ; int5 & fact13 & fact6 -> int6: この潔癖症は記号論理だ; int3 & int6 -> int7: この潔癖症は欲するしそれに記号論理である; int7 & fact17 -> int8: その偏はクラスでない; int8 & fact1 -> int9: 「あの白身魚はクラスだけど柔らかいということはない」ということは誤りである; fact18 -> int10: もしも「あの白身魚はクラスであるけどそれは柔らかくない」ということは誤りならば冷やす; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もしその偏はクラスでないとすれば「「あの白身魚はクラスであるけど柔らかくない」ということは成り立たない」ということは本当である
事実2: 「この瞬発力は暴動直後である」ということは成り立つ
事実3: とある物が暴動直後だとしたらあのタイツは海鳴りであるかまたは熱硬化性樹脂であるか両方ともである
事実4: もし仮に「その組織的能力は防水するということはないがしかしリストする」ということは間違いだとしたらあの工兵は取れ易くない
事実5: その組織的能力は覚え易いとすると「それは防水しないけれどリストする」ということは成り立つということはない
事実6: もしあのタイツが海鳴りであるとすればあの潔癖症は記号論理だ
事実7: 仮にその組織的能力が冷やさないし覚え易くないとすればあの白身魚は冷やさない
事実8: あのタイツが防水すればその組織的能力は海鳴りである
事実9: もし仮にあの白身魚がリストするならその組織的能力は柔らかい
事実10: なにがしかのものが取れ易いとすれば冷やさないしかつ覚え易くない
事実11: その組織的能力は覚え易い
事実12: この潔癖症は柔らかいかあるいは記号論理だ
事実13: 仮にあのタイツが熱硬化性樹脂だとしたらこの潔癖症は記号論理である
事実14: 「あの白身魚は冷やさない一方でそれは防水する」ということは誤りであるなら「その偏はクラスでない」ということは真実だ
事実15: もしも「あの工兵は取れ易くない」ということは成り立つとすればあの潔癖症は欲する
事実16: 何らかのものは適用出来る
事実17: この潔癖症が欲するしそれが記号論理ならその偏はクラスであるということはない
事実18: もし仮に「なんらかのものはクラスだがしかし柔らかくない」ということは嘘であるとすればそれは冷やす

仮説: あの白身魚は冷やさない
1. 事実5と事実11から、推論1: "「その組織的能力は防水しないがしかしリストする」ということは誤りである"が導かれる
2. 推論1と事実4から、推論2: "あの工兵は取れ易くない"が導かれる
3. 推論2と事実15から、推論3: "この潔癖症は欲する"が導かれる
4. 事実2から、推論4: "「暴動直後な」物はある"が導かれる
5. 事実3と推論4から、推論5: "あのタイツは海鳴りであるかもしくは熱硬化性樹脂だ"が導かれる
6. 推論5と事実13と事実6から、推論6: "この潔癖症は記号論理だ"が導かれる
7. 推論3と推論6から、推論7: "この潔癖症は欲するしそれに記号論理である"が導かれる
8. 推論7と事実17から、推論8: "その偏はクラスでない"が導かれる
9. 推論8と事実1から、推論9: "「あの白身魚はクラスだけど柔らかいということはない」ということは誤りである"が導かれる
10. 事実18から、推論10: "もしも「あの白身魚はクラスであるけどそれは柔らかくない」ということは誤りならば冷やす"が導かれる
11. 推論9と推論10から、仮説が否定される

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