その中庸熱ポルトランドセメントは水浸しだ
fact1: 退色し易くない物は崩れ易くてさらに臨床上だ fact2: 「「一睨みするし加えて臨床上だ」ということは事実でない」ものはある fact3: 「溜め込み易いけれど監視し易くない」ものはある fact4: もしもとあるものが社会・文化でないしおまけに音韻過程でないならこのアルシープはアルバイトするということはない fact5: 仮にその中庸熱ポルトランドセメントが標準装着しないとするとそれは水浸しでない fact6: もしも「とあるものは標準装着するし大成する」ということは間違っていればそれは水浸しでない fact7: もしもなんらかの物が一睨みすればそれは水浸しである fact8: もし「「一睨みするししかも臨床上である」ということは成り立たない」物があるとしたらその中庸熱ポルトランドセメントは一睨みしない fact9: もしもある物は一睨みしないなら「標準装着するししかも大成する」ということは事実と異なる fact10: もし「その中庸熱ポルトランドセメントは大成するし加えて認め難い」ということは正しいということはないとすると機能出来ない fact11: もし仮にこのアルシープは死に別れないが退色し易いならば「その突っ張りは退色し易くない」ということは成り立つ fact12: 何らかの物が防風でないとすればそれは良相でない fact13: もし仮に「溜め込み易いけれど監視し易くない」物があるとすればあのルーチン検査は音韻過程でない fact14: そのルーチン検査は社会・文化であるということはない fact15: もしもなにかはアルバイトしないとしたらそれは死に別れないけど退色し易い
fact9 -> int1: その中庸熱ポルトランドセメントは一睨みしないならば「それは標準装着するしそれは大成する」ということは偽だ; fact2 & fact8 -> int2: その中庸熱ポルトランドセメントは一睨みしない; int1 & int2 -> int3: 「その中庸熱ポルトランドセメントは標準装着するし更にそれは大成する」ということは事実と異なる; fact6 -> int4: もし「その中庸熱ポルトランドセメントは標準装着するしまた大成する」ということは成り立たないとすれば水浸しでない; int3 & int4 -> hypothesis;
fact9 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); fact2 & fact8 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & {AB}{aa}); fact6 -> int4: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
その中庸熱ポルトランドセメントは水浸しである
fact21 -> int5: もし仮にその中庸熱ポルトランドセメントが一睨みするならそれは水浸しである; fact20 -> int6: もしその突っ張りが退色し易くないとすると崩れ易いし更にそれは臨床上である; fact16 -> int7: もしこのアルシープがアルバイトするということはないとすればそれは死に別れないしかつ退色し易い; fact18 & fact19 -> int8: そのルーチン検査は音韻過程であるということはない; fact22 & int8 -> int9: そのルーチン検査は社会・文化でなくて加えて音韻過程でない; int9 -> int10: 「社会・文化でないし音韻過程だということはない」ものはある; int10 & fact23 -> int11: このアルシープはアルバイトしない; int7 & int11 -> int12: このアルシープは死に別れない一方で退色し易い; fact17 & int12 -> int13: 「その突っ張りは退色し易くない」ということは成り立つ; int6 & int13 -> int14: その突っ張りは崩れ易いし加えてそれは臨床上である; int14 -> int15: なんらかの物は崩れ易いしそれは臨床上である;
$facts$ = fact1: 退色し易くない物は崩れ易くてさらに臨床上だ fact2: 「「一睨みするし加えて臨床上だ」ということは事実でない」ものはある fact3: 「溜め込み易いけれど監視し易くない」ものはある fact4: もしもとあるものが社会・文化でないしおまけに音韻過程でないならこのアルシープはアルバイトするということはない fact5: 仮にその中庸熱ポルトランドセメントが標準装着しないとするとそれは水浸しでない fact6: もしも「とあるものは標準装着するし大成する」ということは間違っていればそれは水浸しでない fact7: もしもなんらかの物が一睨みすればそれは水浸しである fact8: もし「「一睨みするししかも臨床上である」ということは成り立たない」物があるとしたらその中庸熱ポルトランドセメントは一睨みしない fact9: もしもある物は一睨みしないなら「標準装着するししかも大成する」ということは事実と異なる fact10: もし「その中庸熱ポルトランドセメントは大成するし加えて認め難い」ということは正しいということはないとすると機能出来ない fact11: もし仮にこのアルシープは死に別れないが退色し易いならば「その突っ張りは退色し易くない」ということは成り立つ fact12: 何らかの物が防風でないとすればそれは良相でない fact13: もし仮に「溜め込み易いけれど監視し易くない」物があるとすればあのルーチン検査は音韻過程でない fact14: そのルーチン検査は社会・文化であるということはない fact15: もしもなにかはアルバイトしないとしたらそれは死に別れないけど退色し易い ; $hypothesis$ = その中庸熱ポルトランドセメントは水浸しだ ; $proof$ = 
fact9 -> int1: その中庸熱ポルトランドセメントは一睨みしないならば「それは標準装着するしそれは大成する」ということは偽だ; fact2 & fact8 -> int2: その中庸熱ポルトランドセメントは一睨みしない; int1 & int2 -> int3: 「その中庸熱ポルトランドセメントは標準装着するし更にそれは大成する」ということは事実と異なる; fact6 -> int4: もし「その中庸熱ポルトランドセメントは標準装着するしまた大成する」ということは成り立たないとすれば水浸しでない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 退色し易くない物は崩れ易くてさらに臨床上だ
事実2: 「「一睨みするし加えて臨床上だ」ということは事実でない」ものはある
事実3: 「溜め込み易いけれど監視し易くない」ものはある
事実4: もしもとあるものが社会・文化でないしおまけに音韻過程でないならこのアルシープはアルバイトするということはない
事実5: 仮にその中庸熱ポルトランドセメントが標準装着しないとするとそれは水浸しでない
事実6: もしも「とあるものは標準装着するし大成する」ということは間違っていればそれは水浸しでない
事実7: もしもなんらかの物が一睨みすればそれは水浸しである
事実8: もし「「一睨みするししかも臨床上である」ということは成り立たない」物があるとしたらその中庸熱ポルトランドセメントは一睨みしない
事実9: もしもある物は一睨みしないなら「標準装着するししかも大成する」ということは事実と異なる
事実10: もし「その中庸熱ポルトランドセメントは大成するし加えて認め難い」ということは正しいということはないとすると機能出来ない
事実11: もし仮にこのアルシープは死に別れないが退色し易いならば「その突っ張りは退色し易くない」ということは成り立つ
事実12: 何らかの物が防風でないとすればそれは良相でない
事実13: もし仮に「溜め込み易いけれど監視し易くない」物があるとすればあのルーチン検査は音韻過程でない
事実14: そのルーチン検査は社会・文化であるということはない
事実15: もしもなにかはアルバイトしないとしたらそれは死に別れないけど退色し易い

仮説: その中庸熱ポルトランドセメントは水浸しだ
1. 事実9から、推論1: "その中庸熱ポルトランドセメントは一睨みしないならば「それは標準装着するしそれは大成する」ということは偽だ"が導かれる
2. 事実2と事実8から、推論2: "その中庸熱ポルトランドセメントは一睨みしない"が導かれる
3. 推論1と推論2から、推論3: "「その中庸熱ポルトランドセメントは標準装着するし更にそれは大成する」ということは事実と異なる"が導かれる
4. 事実6から、推論4: "もし「その中庸熱ポルトランドセメントは標準装着するしまた大成する」ということは成り立たないとすれば水浸しでない"が導かれる
5. 推論3と推論4から、仮説が否定される

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