その基準は総所得だ
fact1: 「何かは好もしい」ということは成り立つとすれば総所得である fact2: もし仮にこの企業体質は好もしかないなら「汚らわしくなくてそれに山深くない」ということは偽だ fact3: もしこの企業体質は縁会でないとすると「それが強国だしその上それはＳＯＨＯでない」ということは成り立つということはない fact4: 「そのオリーブ色は嫁するしそれに砂糖菓子である」ということは誤りだ fact5: 「そのオリーブ色は嫁するし加えて砂糖菓子である」ということは間違いだとしたら嫁しない fact6: 「なんらかのものは受け入れ難くなくて着せがましいということはない」ということは間違っているとしたらそれは好もしい fact7: もし仮に「この企業体質は汚らわしくない物でまた山深くない」ということは成り立たないならその基準は総所得でない fact8: もし「あるものは付加価値税でなくてしかもそれは共鳴し易くない」ということは成り立たないなら「それは即答する」ということは誤りであるということはない fact9: この企業体質が汚らわしいとすればその基準は総所得でない fact10: 「あの錐は汚らわしくないしまたそれは受け難いということはない」ということは成り立たない fact11: 「その基準は利用し続けないし地方行政でない」ということは誤っている fact12: もしもなにがしかの物は嫁するということはないとすれば「この企業体質は付加価値税でないしさらにそれは共鳴し易いということはない」ということは誤っている fact13: その基準は山深くない fact14: 「この企業体質は忙しくなくてその上舞い戻らない」ということは誤りだ fact15: この企業体質は好もしかない fact16: 「その基準は総所得であるがしかし汚らわしくない」ということは成り立たない fact17: その基準は汚らわしくないなら「総所得であるけれど山深くない」ということは成り立つということはない fact18: もしもその基準は総所得でないとすると「山深くないしおまけに汚らわしくない」ということは正しくない fact19: 「「その基準は総所得であるが好もしかない」ということは成り立つということはない」ということは確かである
fact2 & fact15 -> int1: 「この企業体質は汚らわしくないしおまけに山深くない」ということは誤りである; int1 & fact7 -> hypothesis;
fact2 & fact15 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact7 -> hypothesis;
その基準は総所得である
fact21 -> int2: もしもその基準が好もしいとすれば総所得である; fact22 -> int3: 「その基準は受け入れ難くないしさらに着せがましいということはない」ということは成り立たないなら好もしい; fact25 -> int4: もし仮に「この企業体質は付加価値税でないしそれは共鳴し易くない」ということは偽だとすると即答する; fact23 & fact24 -> int5: そのオリーブ色は嫁するということはない; int5 -> int6: 「嫁しない」ものはある; int6 & fact20 -> int7: 「この企業体質は付加価値税だということはないしおまけにそれは共鳴し易くない」ということは成り立たない; int4 & int7 -> int8: この企業体質は即答する; int8 -> int9: 「即答する」物はある;
$facts$ = fact1: 「何かは好もしい」ということは成り立つとすれば総所得である fact2: もし仮にこの企業体質は好もしかないなら「汚らわしくなくてそれに山深くない」ということは偽だ fact3: もしこの企業体質は縁会でないとすると「それが強国だしその上それはＳＯＨＯでない」ということは成り立つということはない fact4: 「そのオリーブ色は嫁するしそれに砂糖菓子である」ということは誤りだ fact5: 「そのオリーブ色は嫁するし加えて砂糖菓子である」ということは間違いだとしたら嫁しない fact6: 「なんらかのものは受け入れ難くなくて着せがましいということはない」ということは間違っているとしたらそれは好もしい fact7: もし仮に「この企業体質は汚らわしくない物でまた山深くない」ということは成り立たないならその基準は総所得でない fact8: もし「あるものは付加価値税でなくてしかもそれは共鳴し易くない」ということは成り立たないなら「それは即答する」ということは誤りであるということはない fact9: この企業体質が汚らわしいとすればその基準は総所得でない fact10: 「あの錐は汚らわしくないしまたそれは受け難いということはない」ということは成り立たない fact11: 「その基準は利用し続けないし地方行政でない」ということは誤っている fact12: もしもなにがしかの物は嫁するということはないとすれば「この企業体質は付加価値税でないしさらにそれは共鳴し易いということはない」ということは誤っている fact13: その基準は山深くない fact14: 「この企業体質は忙しくなくてその上舞い戻らない」ということは誤りだ fact15: この企業体質は好もしかない fact16: 「その基準は総所得であるがしかし汚らわしくない」ということは成り立たない fact17: その基準は汚らわしくないなら「総所得であるけれど山深くない」ということは成り立つということはない fact18: もしもその基準は総所得でないとすると「山深くないしおまけに汚らわしくない」ということは正しくない fact19: 「「その基準は総所得であるが好もしかない」ということは成り立つということはない」ということは確かである ; $hypothesis$ = その基準は総所得だ ; $proof$ = 
fact2 & fact15 -> int1: 「この企業体質は汚らわしくないしおまけに山深くない」ということは誤りである; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 「何かは好もしい」ということは成り立つとすれば総所得である
事実2: もし仮にこの企業体質は好もしかないなら「汚らわしくなくてそれに山深くない」ということは偽だ
事実3: もしこの企業体質は縁会でないとすると「それが強国だしその上それはＳＯＨＯでない」ということは成り立つということはない
事実4: 「そのオリーブ色は嫁するしそれに砂糖菓子である」ということは誤りだ
事実5: 「そのオリーブ色は嫁するし加えて砂糖菓子である」ということは間違いだとしたら嫁しない
事実6: 「なんらかのものは受け入れ難くなくて着せがましいということはない」ということは間違っているとしたらそれは好もしい
事実7: もし仮に「この企業体質は汚らわしくない物でまた山深くない」ということは成り立たないならその基準は総所得でない
事実8: もし「あるものは付加価値税でなくてしかもそれは共鳴し易くない」ということは成り立たないなら「それは即答する」ということは誤りであるということはない
事実9: この企業体質が汚らわしいとすればその基準は総所得でない
事実10: 「あの錐は汚らわしくないしまたそれは受け難いということはない」ということは成り立たない
事実11: 「その基準は利用し続けないし地方行政でない」ということは誤っている
事実12: もしもなにがしかの物は嫁するということはないとすれば「この企業体質は付加価値税でないしさらにそれは共鳴し易いということはない」ということは誤っている
事実13: その基準は山深くない
事実14: 「この企業体質は忙しくなくてその上舞い戻らない」ということは誤りだ
事実15: この企業体質は好もしかない
事実16: 「その基準は総所得であるがしかし汚らわしくない」ということは成り立たない
事実17: その基準は汚らわしくないなら「総所得であるけれど山深くない」ということは成り立つということはない
事実18: もしもその基準は総所得でないとすると「山深くないしおまけに汚らわしくない」ということは正しくない
事実19: 「「その基準は総所得であるが好もしかない」ということは成り立つということはない」ということは確かである

仮説: その基準は総所得だ
1. 事実2と事実15から、推論1: "「この企業体質は汚らわしくないしおまけに山深くない」ということは誤りである"が導かれる
2. 推論1と事実7から、仮説が否定される

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