「あの営業利益は絶え難くない一方で惨い」ということは事実と異なる
fact1: その御占い場が都市建設だがしかし印刷時間外でないならあの営業利益は都市建設である fact2: このプロジェクトチームは都市建設である fact3: あの淡口味液が都市建設でないとしたらその御占い場は惨いということはない fact4: もし仮にあの営業利益が精神的要素であるならあの淡口味液は委嘱でないけれど絶え難い fact5: 仮にあの営業利益が宣伝しないとすると作成すしその上委嘱だ fact6: あの淡口味液は精神的要素である fact7: もし仮にとある物は都市建設でないけれど作成すとすればそれは絶え難くない fact8: あの淡口味液は委嘱でない fact9: あの淡口味液は精神的要素なら「その御占い場は印刷時間外であるということはないけれど被仰付」ということは真実でない fact10: もしあの営業利益が都市建設ならその御占い場は印刷時間外でないけど被仰付 fact11: あの営業利益は宣伝しない fact12: この冬木は惨いけれど太刀打ち出来ない fact13: この冬木は精神的要素でない fact14: もし仮にこの冬木が惨いけれど太刀打ち出来ないならばあの営業利益は惨い fact15: あの淡口味液は都市建設だ
void -> assump1: 以下のように仮定する。あの営業利益は都市建設である; fact10 & assump1 -> int1: その御占い場は印刷時間外でないが被仰付; fact9 & fact6 -> int2: 「その御占い場は印刷時間外でないがしかし被仰付」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの営業利益は都市建設でない; fact5 & fact11 -> int5: あの営業利益は作成すし加えてそれは委嘱だ; int5 -> int6: 「あの営業利益は作成す」ということは事実である; int4 & int6 -> int7: あの営業利益は都市建設でないけどそれは作成す; fact7 -> int8: もしもあの営業利益が都市建設でないけど作成すとすればそれは絶え難くない; int7 & int8 -> int9: あの営業利益は絶え難くない; fact14 & fact12 -> int10: あの営業利益は惨い; int9 & int10 -> hypothesis;
「あの営業利益は絶え難くない一方で惨い」ということは嘘である
$facts$ = fact1: その御占い場が都市建設だがしかし印刷時間外でないならあの営業利益は都市建設である fact2: このプロジェクトチームは都市建設である fact3: あの淡口味液が都市建設でないとしたらその御占い場は惨いということはない fact4: もし仮にあの営業利益が精神的要素であるならあの淡口味液は委嘱でないけれど絶え難い fact5: 仮にあの営業利益が宣伝しないとすると作成すしその上委嘱だ fact6: あの淡口味液は精神的要素である fact7: もし仮にとある物は都市建設でないけれど作成すとすればそれは絶え難くない fact8: あの淡口味液は委嘱でない fact9: あの淡口味液は精神的要素なら「その御占い場は印刷時間外であるということはないけれど被仰付」ということは真実でない fact10: もしあの営業利益が都市建設ならその御占い場は印刷時間外でないけど被仰付 fact11: あの営業利益は宣伝しない fact12: この冬木は惨いけれど太刀打ち出来ない fact13: この冬木は精神的要素でない fact14: もし仮にこの冬木が惨いけれど太刀打ち出来ないならばあの営業利益は惨い fact15: あの淡口味液は都市建設だ ; $hypothesis$ = 「あの営業利益は絶え難くない一方で惨い」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの営業利益は都市建設である; fact10 & assump1 -> int1: その御占い場は印刷時間外でないが被仰付; fact9 & fact6 -> int2: 「その御占い場は印刷時間外でないがしかし被仰付」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの営業利益は都市建設でない; fact5 & fact11 -> int5: あの営業利益は作成すし加えてそれは委嘱だ; int5 -> int6: 「あの営業利益は作成す」ということは事実である; int4 & int6 -> int7: あの営業利益は都市建設でないけどそれは作成す; fact7 -> int8: もしもあの営業利益が都市建設でないけど作成すとすればそれは絶え難くない; int7 & int8 -> int9: あの営業利益は絶え難くない; fact14 & fact12 -> int10: あの営業利益は惨い; int9 & int10 -> hypothesis; __DISPROVED__
事実1: その御占い場が都市建設だがしかし印刷時間外でないならあの営業利益は都市建設である
事実2: このプロジェクトチームは都市建設である
事実3: あの淡口味液が都市建設でないとしたらその御占い場は惨いということはない
事実4: もし仮にあの営業利益が精神的要素であるならあの淡口味液は委嘱でないけれど絶え難い
事実5: 仮にあの営業利益が宣伝しないとすると作成すしその上委嘱だ
事実6: あの淡口味液は精神的要素である
事実7: もし仮にとある物は都市建設でないけれど作成すとすればそれは絶え難くない
事実8: あの淡口味液は委嘱でない
事実9: あの淡口味液は精神的要素なら「その御占い場は印刷時間外であるということはないけれど被仰付」ということは真実でない
事実10: もしあの営業利益が都市建設ならその御占い場は印刷時間外でないけど被仰付
事実11: あの営業利益は宣伝しない
事実12: この冬木は惨いけれど太刀打ち出来ない
事実13: この冬木は精神的要素でない
事実14: もし仮にこの冬木が惨いけれど太刀打ち出来ないならばあの営業利益は惨い
事実15: あの淡口味液は都市建設だ

仮説: 「あの営業利益は絶え難くない一方で惨い」ということは事実と異なる
1. 仮定1: 以下のように仮定する。あの営業利益は都市建設である
2. 事実10と仮定1から、推論1: "その御占い場は印刷時間外でないが被仰付"が導かれる
3. 事実9と事実6から、推論2: "「その御占い場は印刷時間外でないがしかし被仰付」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの営業利益は都市建設でない"が導かれる
6. 事実5と事実11から、推論5: "あの営業利益は作成すし加えてそれは委嘱だ"が導かれる
7. 推論5から、推論6: "「あの営業利益は作成す」ということは事実である"が導かれる
8. 推論4と推論6から、推論7: "あの営業利益は都市建設でないけどそれは作成す"が導かれる
9. 事実7から、推論8: "もしもあの営業利益が都市建設でないけど作成すとすればそれは絶え難くない"が導かれる
10. 推論7と推論8から、推論9: "あの営業利益は絶え難くない"が導かれる
11. 事実14と事実12から、推論10: "あの営業利益は惨い"が導かれる
12. 推論9と推論10から、仮説が否定される

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