あの左回転は当たり難い
fact1: そのピーナツはシェークする fact2: もし仮にあの主語位置が香ばしいならばシェークするということはないし妊娠週数でない fact3: 「何かは交え用いるけれど築き難くない」ということは成り立つとするとそれは脂っこいということはない fact4: この村夫子は包装する fact5: 仮にあの左回転が当たり難いとしたらそれは交え用いるけど築き難くない fact6: そのＭＩＤＩキーボードは当たり難いし築き難いならばシェークしない fact7: もし仮にあの左回転が当たり難くないしまたシェークしないとするとそのＭＩＤＩキーボードは当たり難い fact8: もし何らかのものがシェークするが築き難くないなら脂っこいということはない fact9: あの主語位置はシェークしない fact10: もしもあの主語位置が脂っこいということはなくて包装しないとしたらあの左回転は脂っこい fact11: そのＭＩＤＩキーボードはシェークする fact12: 「そのＭＩＤＩキーボードは華々しいということはなくて香ばしかない」ということは成り立たない fact13: あるものはシェークしないならば「脂っこくてそれに包装する」ということは偽だ fact14: もしもそのＭＩＤＩキーボードがシェークするとしたらあの主語位置は脂っこいということはなくておまけに包装しない fact15: もしもあの主語位置は脂っこいがしかし包装しないならばそれは築き難くない
void -> assump1: 以下のように仮定する。あの左回転は当たり難い; fact5 & assump1 -> int1: あの左回転は交え用いるけれど築き難くない; fact3 -> int2: もしもあの左回転は交え用いる一方で築き難くないとするとそれは脂っこくない; int1 & int2 -> int3: あの左回転は脂っこくない; fact11 & fact14 -> int4: あの主語位置は脂っこくないし包装しない; int4 & fact10 -> int5: あの左回転は脂っこい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの左回転は当たり難い」ということは成り立つ
fact18 -> int7: 仮にあの主語位置はシェークしないとしたら「脂っこくてそれは包装する」ということは成り立たない; fact16 -> int8: 「「華々しくないし香ばしかない」ということは偽である」物はある;
$facts$ = fact1: そのピーナツはシェークする fact2: もし仮にあの主語位置が香ばしいならばシェークするということはないし妊娠週数でない fact3: 「何かは交え用いるけれど築き難くない」ということは成り立つとするとそれは脂っこいということはない fact4: この村夫子は包装する fact5: 仮にあの左回転が当たり難いとしたらそれは交え用いるけど築き難くない fact6: そのＭＩＤＩキーボードは当たり難いし築き難いならばシェークしない fact7: もし仮にあの左回転が当たり難くないしまたシェークしないとするとそのＭＩＤＩキーボードは当たり難い fact8: もし何らかのものがシェークするが築き難くないなら脂っこいということはない fact9: あの主語位置はシェークしない fact10: もしもあの主語位置が脂っこいということはなくて包装しないとしたらあの左回転は脂っこい fact11: そのＭＩＤＩキーボードはシェークする fact12: 「そのＭＩＤＩキーボードは華々しいということはなくて香ばしかない」ということは成り立たない fact13: あるものはシェークしないならば「脂っこくてそれに包装する」ということは偽だ fact14: もしもそのＭＩＤＩキーボードがシェークするとしたらあの主語位置は脂っこいということはなくておまけに包装しない fact15: もしもあの主語位置は脂っこいがしかし包装しないならばそれは築き難くない ; $hypothesis$ = あの左回転は当たり難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの左回転は当たり難い; fact5 & assump1 -> int1: あの左回転は交え用いるけれど築き難くない; fact3 -> int2: もしもあの左回転は交え用いる一方で築き難くないとするとそれは脂っこくない; int1 & int2 -> int3: あの左回転は脂っこくない; fact11 & fact14 -> int4: あの主語位置は脂っこくないし包装しない; int4 & fact10 -> int5: あの左回転は脂っこい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: そのピーナツはシェークする
事実2: もし仮にあの主語位置が香ばしいならばシェークするということはないし妊娠週数でない
事実3: 「何かは交え用いるけれど築き難くない」ということは成り立つとするとそれは脂っこいということはない
事実4: この村夫子は包装する
事実5: 仮にあの左回転が当たり難いとしたらそれは交え用いるけど築き難くない
事実6: そのＭＩＤＩキーボードは当たり難いし築き難いならばシェークしない
事実7: もし仮にあの左回転が当たり難くないしまたシェークしないとするとそのＭＩＤＩキーボードは当たり難い
事実8: もし何らかのものがシェークするが築き難くないなら脂っこいということはない
事実9: あの主語位置はシェークしない
事実10: もしもあの主語位置が脂っこいということはなくて包装しないとしたらあの左回転は脂っこい
事実11: そのＭＩＤＩキーボードはシェークする
事実12: 「そのＭＩＤＩキーボードは華々しいということはなくて香ばしかない」ということは成り立たない
事実13: あるものはシェークしないならば「脂っこくてそれに包装する」ということは偽だ
事実14: もしもそのＭＩＤＩキーボードがシェークするとしたらあの主語位置は脂っこいということはなくておまけに包装しない
事実15: もしもあの主語位置は脂っこいがしかし包装しないならばそれは築き難くない

仮説: あの左回転は当たり難い
1. 仮定1: 以下のように仮定する。あの左回転は当たり難い
2. 事実5と仮定1から、推論1: "あの左回転は交え用いるけれど築き難くない"が導かれる
3. 事実3から、推論2: "もしもあの左回転は交え用いる一方で築き難くないとするとそれは脂っこくない"が導かれる
4. 推論1と推論2から、推論3: "あの左回転は脂っこくない"が導かれる
5. 事実11と事実14から、推論4: "あの主語位置は脂っこくないし包装しない"が導かれる
6. 推論4と事実10から、推論5: "あの左回転は脂っこい"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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