この夕映えは彫りだ
fact1: もしも「「口汚くないがスピーチする」ということは誤っている」物があるならばあのビジネスは口汚い fact2: 「そのビジネスは配分割合だ」ということは真実である fact3: もし仮になんらかのものが伸長するとしたら趾間だしそれは若々しいということはない fact4: 口汚いものは配分割合であるけどとろくない fact5: 「「配分割合であるし周旋する」ということは真実でない」物はある fact6: 「「口汚くないけれどスピーチする」ということは成り立たない」ものはある fact7: もしその御活躍がとろいかもしくは周旋しないか両方ともであるならばこの夕映えは彫りでない fact8: その債務引き受けは逃亡するし加えてそれはスピーチする fact9: 仮にそのビジネスがとろいということはないとしたらその御活躍はとろいかもしくはそれは周旋しないか両方である fact10: あの社会保障資産は消化し難いけれど詰め寄らない
fact4 -> int1: そのビジネスが口汚いとすればそれは配分割合であるがしかしとろくない; fact6 & fact1 -> int2: そのビジネスは口汚い; int1 & int2 -> int3: そのビジネスは配分割合だがとろいということはない; int3 -> int4: そのビジネスはとろくない; int4 & fact9 -> int5: その御活躍はとろいかまたはそれは周旋するということはないかもしくはどちらもである; int5 & fact7 -> hypothesis;
この夕映えは彫りだ
fact11 -> int6: その債務引き受けは逃亡する; int6 -> int7: 「ある物は逃亡する」ということは正しい;
$facts$ = fact1: もしも「「口汚くないがスピーチする」ということは誤っている」物があるならばあのビジネスは口汚い fact2: 「そのビジネスは配分割合だ」ということは真実である fact3: もし仮になんらかのものが伸長するとしたら趾間だしそれは若々しいということはない fact4: 口汚いものは配分割合であるけどとろくない fact5: 「「配分割合であるし周旋する」ということは真実でない」物はある fact6: 「「口汚くないけれどスピーチする」ということは成り立たない」ものはある fact7: もしその御活躍がとろいかもしくは周旋しないか両方ともであるならばこの夕映えは彫りでない fact8: その債務引き受けは逃亡するし加えてそれはスピーチする fact9: 仮にそのビジネスがとろいということはないとしたらその御活躍はとろいかもしくはそれは周旋しないか両方である fact10: あの社会保障資産は消化し難いけれど詰め寄らない ; $hypothesis$ = この夕映えは彫りだ ; $proof$ = 
fact4 -> int1: そのビジネスが口汚いとすればそれは配分割合であるがしかしとろくない; fact6 & fact1 -> int2: そのビジネスは口汚い; int1 & int2 -> int3: そのビジネスは配分割合だがとろいということはない; int3 -> int4: そのビジネスはとろくない; int4 & fact9 -> int5: その御活躍はとろいかまたはそれは周旋するということはないかもしくはどちらもである; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: もしも「「口汚くないがスピーチする」ということは誤っている」物があるならばあのビジネスは口汚い
事実2: 「そのビジネスは配分割合だ」ということは真実である
事実3: もし仮になんらかのものが伸長するとしたら趾間だしそれは若々しいということはない
事実4: 口汚いものは配分割合であるけどとろくない
事実5: 「「配分割合であるし周旋する」ということは真実でない」物はある
事実6: 「「口汚くないけれどスピーチする」ということは成り立たない」ものはある
事実7: もしその御活躍がとろいかもしくは周旋しないか両方ともであるならばこの夕映えは彫りでない
事実8: その債務引き受けは逃亡するし加えてそれはスピーチする
事実9: 仮にそのビジネスがとろいということはないとしたらその御活躍はとろいかもしくはそれは周旋しないか両方である
事実10: あの社会保障資産は消化し難いけれど詰め寄らない

仮説: この夕映えは彫りだ
1. 事実4から、推論1: "そのビジネスが口汚いとすればそれは配分割合であるがしかしとろくない"が導かれる
2. 事実6と事実1から、推論2: "そのビジネスは口汚い"が導かれる
3. 推論1と推論2から、推論3: "そのビジネスは配分割合だがとろいということはない"が導かれる
4. 推論3から、推論4: "そのビジネスはとろくない"が導かれる
5. 推論4と事実9から、推論5: "その御活躍はとろいかまたはそれは周旋するということはないかもしくはどちらもである"が導かれる
6. 推論5と事実7から、仮説が否定される

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