あの大豆イソフラボンは細長くない
fact1: 仮にあのプリン型は宗教人でないならそれは掛かり難くないが支弁する fact2: あのＡＳＡＹＡＮは愚かしくないがしかし喝采する fact3: 仮にあの大豆イソフラボンが喝采しないが愚かしいならあのＡＳＡＹＡＮは細長い fact4: あの大豆イソフラボンは減量出来ないけどせかせかする fact5: 仮にあの大豆イソフラボンが細長くないけど愚かしいとしたらあのＡＳＡＹＡＮは喝采する fact6: 「このオーバーレイは愚かしい」ということは確かである fact7: あのＡＳＡＹＡＮは愚かしくないけど細長い fact8: もしもあのＡＳＡＹＡＮが愚かしくないけど喝采するとすればあの大豆イソフラボンは細長い
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
あのプリン型は掛かり難くない一方で支弁する
$facts$ = fact1: 仮にあのプリン型は宗教人でないならそれは掛かり難くないが支弁する fact2: あのＡＳＡＹＡＮは愚かしくないがしかし喝采する fact3: 仮にあの大豆イソフラボンが喝采しないが愚かしいならあのＡＳＡＹＡＮは細長い fact4: あの大豆イソフラボンは減量出来ないけどせかせかする fact5: 仮にあの大豆イソフラボンが細長くないけど愚かしいとしたらあのＡＳＡＹＡＮは喝采する fact6: 「このオーバーレイは愚かしい」ということは確かである fact7: あのＡＳＡＹＡＮは愚かしくないけど細長い fact8: もしもあのＡＳＡＹＡＮが愚かしくないけど喝采するとすればあの大豆イソフラボンは細長い ; $hypothesis$ = あの大豆イソフラボンは細長くない ; $proof$ = 
fact8 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあのプリン型は宗教人でないならそれは掛かり難くないが支弁する
事実2: あのＡＳＡＹＡＮは愚かしくないがしかし喝采する
事実3: 仮にあの大豆イソフラボンが喝采しないが愚かしいならあのＡＳＡＹＡＮは細長い
事実4: あの大豆イソフラボンは減量出来ないけどせかせかする
事実5: 仮にあの大豆イソフラボンが細長くないけど愚かしいとしたらあのＡＳＡＹＡＮは喝采する
事実6: 「このオーバーレイは愚かしい」ということは確かである
事実7: あのＡＳＡＹＡＮは愚かしくないけど細長い
事実8: もしもあのＡＳＡＹＡＮが愚かしくないけど喝采するとすればあの大豆イソフラボンは細長い

仮説: あの大豆イソフラボンは細長くない
1. 事実8と事実2から、仮説が否定される

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