その枸杞子は高くない
fact1: その枸杞子は付け込むしおまけに吐き出す fact2: その枸杞子は吐き出す fact3: あの受注生産は生産し得ない fact4: 仮にその枸杞子が高くないとしたらあの受注生産は千九百七十〜八十年代である一方で自己紹介しない fact5: あの受注生産は自己紹介するしかつ吐き出す fact6: あの受注生産はつべたいけれど妻板でない fact7: あの受注生産は千九百七十〜八十年代である fact8: あの受注生産は高くてさらにそれは千九百七十〜八十年代だ fact9: あの妙齢は特化するし更に自己紹介する fact10: もしもその枸杞子が高くないならばあの受注生産は千九百七十〜八十年代である fact11: もしもあの受注生産は千九百七十〜八十年代であるということはないとすれば「その枸杞子は吐き出すけれど自己紹介しない」ということは真実だ fact12: あの受注生産が吐き出すということはないならばその枸杞子は高い一方で自己紹介しない
void -> assump1: 以下のように仮定する。その枸杞子は高くない; fact4 & assump1 -> int1: あの受注生産は千九百七十〜八十年代であるがしかしそれは自己紹介するということはない; int1 -> int2: あの受注生産は自己紹介するということはない; fact5 -> int3: あの受注生産は自己紹介する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その枸杞子は付け込むしおまけに吐き出す fact2: その枸杞子は吐き出す fact3: あの受注生産は生産し得ない fact4: 仮にその枸杞子が高くないとしたらあの受注生産は千九百七十〜八十年代である一方で自己紹介しない fact5: あの受注生産は自己紹介するしかつ吐き出す fact6: あの受注生産はつべたいけれど妻板でない fact7: あの受注生産は千九百七十〜八十年代である fact8: あの受注生産は高くてさらにそれは千九百七十〜八十年代だ fact9: あの妙齢は特化するし更に自己紹介する fact10: もしもその枸杞子が高くないならばあの受注生産は千九百七十〜八十年代である fact11: もしもあの受注生産は千九百七十〜八十年代であるということはないとすれば「その枸杞子は吐き出すけれど自己紹介しない」ということは真実だ fact12: あの受注生産が吐き出すということはないならばその枸杞子は高い一方で自己紹介しない ; $hypothesis$ = その枸杞子は高くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その枸杞子は高くない; fact4 & assump1 -> int1: あの受注生産は千九百七十〜八十年代であるがしかしそれは自己紹介するということはない; int1 -> int2: あの受注生産は自己紹介するということはない; fact5 -> int3: あの受注生産は自己紹介する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その枸杞子は付け込むしおまけに吐き出す
事実2: その枸杞子は吐き出す
事実3: あの受注生産は生産し得ない
事実4: 仮にその枸杞子が高くないとしたらあの受注生産は千九百七十〜八十年代である一方で自己紹介しない
事実5: あの受注生産は自己紹介するしかつ吐き出す
事実6: あの受注生産はつべたいけれど妻板でない
事実7: あの受注生産は千九百七十〜八十年代である
事実8: あの受注生産は高くてさらにそれは千九百七十〜八十年代だ
事実9: あの妙齢は特化するし更に自己紹介する
事実10: もしもその枸杞子が高くないならばあの受注生産は千九百七十〜八十年代である
事実11: もしもあの受注生産は千九百七十〜八十年代であるということはないとすれば「その枸杞子は吐き出すけれど自己紹介しない」ということは真実だ
事実12: あの受注生産が吐き出すということはないならばその枸杞子は高い一方で自己紹介しない

仮説: その枸杞子は高くない
1. 仮定1: 以下のように仮定する。その枸杞子は高くない
2. 事実4と仮定1から、推論1: "あの受注生産は千九百七十〜八十年代であるがしかしそれは自己紹介するということはない"が導かれる
3. 推論1から、推論2: "あの受注生産は自己紹介するということはない"が導かれる
4. 事実5から、推論3: "あの受注生産は自己紹介する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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