「あの始業は録音機だが大きいということはない」ということは間違いだ
fact1: その中国市場は録音機だ fact2: もしなにかは離れ行くとすればあどけない fact3: もしもあの輸入差し止め措置が倹しいとすればその中国市場は離れ行く fact4: あの始業はあどけなくて録音機だ fact5: もし仮にその中国市場は隊長でないならばそれは復習するししかも選択必修科目である fact6: もしもその中国市場が大きくないとするとあの始業は録音機だがしかしそれは大きくない fact7: あの輸入差し止め措置は倹しいしそれに味気ない fact8: あの始業は録音機だ fact9: もしその中国市場が大きくないとすればあの始業は録音機だ fact10: もしもその中国市場は隊長でないならば選択必修科目だ fact11: 仮に「あの始業は大きいということはない」ということは本当だとしたらそれは倹しいしそれは隊長だ fact12: 「その中国市場は隊長でない」ということは事実である fact13: もし「あの輸入差し止め措置は倹しかない」ということは本当ならその自動車産業は相談担当者だしかつ離れ行く fact14: その中国市場は選択必修科目だ fact15: 仮にあどけないものは復習するとすると「大きくない」ということは確かである
fact7 -> int1: 「あの輸入差し止め措置は倹しい」ということは本当である; int1 & fact3 -> int2: 「その中国市場は離れ行く」ということは事実である; fact2 -> int3: もしもその中国市場は離れ行くとすると「あどけない」ということは成り立つ; int2 & int3 -> int4: その中国市場はあどけない; fact12 & fact5 -> int5: その中国市場は復習するし選択必修科目である; int5 -> int6: その中国市場は復習する; int4 & int6 -> int7: その中国市場はあどけないしそれに復習する; fact15 -> int8: 仮にその中国市場はあどけなくて復習するなら大きくない; int7 & int8 -> int9: 「その中国市場は大きいということはない」ということは成り立つ; int9 & fact6 -> hypothesis;
その自動車産業は相談担当者だし加えて離れ行く
$facts$ = fact1: その中国市場は録音機だ fact2: もしなにかは離れ行くとすればあどけない fact3: もしもあの輸入差し止め措置が倹しいとすればその中国市場は離れ行く fact4: あの始業はあどけなくて録音機だ fact5: もし仮にその中国市場は隊長でないならばそれは復習するししかも選択必修科目である fact6: もしもその中国市場が大きくないとするとあの始業は録音機だがしかしそれは大きくない fact7: あの輸入差し止め措置は倹しいしそれに味気ない fact8: あの始業は録音機だ fact9: もしその中国市場が大きくないとすればあの始業は録音機だ fact10: もしもその中国市場は隊長でないならば選択必修科目だ fact11: 仮に「あの始業は大きいということはない」ということは本当だとしたらそれは倹しいしそれは隊長だ fact12: 「その中国市場は隊長でない」ということは事実である fact13: もし「あの輸入差し止め措置は倹しかない」ということは本当ならその自動車産業は相談担当者だしかつ離れ行く fact14: その中国市場は選択必修科目だ fact15: 仮にあどけないものは復習するとすると「大きくない」ということは確かである ; $hypothesis$ = 「あの始業は録音機だが大きいということはない」ということは間違いだ ; $proof$ = 
fact7 -> int1: 「あの輸入差し止め措置は倹しい」ということは本当である; int1 & fact3 -> int2: 「その中国市場は離れ行く」ということは事実である; fact2 -> int3: もしもその中国市場は離れ行くとすると「あどけない」ということは成り立つ; int2 & int3 -> int4: その中国市場はあどけない; fact12 & fact5 -> int5: その中国市場は復習するし選択必修科目である; int5 -> int6: その中国市場は復習する; int4 & int6 -> int7: その中国市場はあどけないしそれに復習する; fact15 -> int8: 仮にその中国市場はあどけなくて復習するなら大きくない; int7 & int8 -> int9: 「その中国市場は大きいということはない」ということは成り立つ; int9 & fact6 -> hypothesis; __DISPROVED__
事実1: その中国市場は録音機だ
事実2: もしなにかは離れ行くとすればあどけない
事実3: もしもあの輸入差し止め措置が倹しいとすればその中国市場は離れ行く
事実4: あの始業はあどけなくて録音機だ
事実5: もし仮にその中国市場は隊長でないならばそれは復習するししかも選択必修科目である
事実6: もしもその中国市場が大きくないとするとあの始業は録音機だがしかしそれは大きくない
事実7: あの輸入差し止め措置は倹しいしそれに味気ない
事実8: あの始業は録音機だ
事実9: もしその中国市場が大きくないとすればあの始業は録音機だ
事実10: もしもその中国市場は隊長でないならば選択必修科目だ
事実11: 仮に「あの始業は大きいということはない」ということは本当だとしたらそれは倹しいしそれは隊長だ
事実12: 「その中国市場は隊長でない」ということは事実である
事実13: もし「あの輸入差し止め措置は倹しかない」ということは本当ならその自動車産業は相談担当者だしかつ離れ行く
事実14: その中国市場は選択必修科目だ
事実15: 仮にあどけないものは復習するとすると「大きくない」ということは確かである

仮説: 「あの始業は録音機だが大きいということはない」ということは間違いだ
1. 事実7から、推論1: "「あの輸入差し止め措置は倹しい」ということは本当である"が導かれる
2. 推論1と事実3から、推論2: "「その中国市場は離れ行く」ということは事実である"が導かれる
3. 事実2から、推論3: "もしもその中国市場は離れ行くとすると「あどけない」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "その中国市場はあどけない"が導かれる
5. 事実12と事実5から、推論5: "その中国市場は復習するし選択必修科目である"が導かれる
6. 推論5から、推論6: "その中国市場は復習する"が導かれる
7. 推論4と推論6から、推論7: "その中国市場はあどけないしそれに復習する"が導かれる
8. 事実15から、推論8: "仮にその中国市場はあどけなくて復習するなら大きくない"が導かれる
9. 推論7と推論8から、推論9: "「その中国市場は大きいということはない」ということは成り立つ"が導かれる
10. 推論9と事実6から、仮説が否定される

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