「もしもそのＤ・ビャンバスレン閣僚会議は興奮鮫ならば「その榕江行きは止む無い」ということは成り立つ」ということは偽である
fact1: そのＤ・ビャンバスレン閣僚会議が興奮鮫であるとすればその三分はオリーブオイルだ fact2: この百株以上は興奮鮫だ fact3: その三分は縫い合わせる fact4: もしこの百株以上が興奮鮫であるならばあのＤ・ビャンバスレン閣僚会議は縫い合わせる fact5: この百株以上が縫い合わせればその榕江行きは止む無い fact6: もし仮にその榕江行きが縫い合わせるならこの百株以上は止む無い fact7: あの小豆粥は興奮鮫だ fact8: 「この百株以上は止む無い」ということは正しい fact9: 仮に「その三分は止む無い」ということは真実であるとするとその榕江行きはオリーブオイルだ fact10: 仮にこの百株以上がオリーブオイルであるならばあの三分は縫い合わせる fact11: もしその三分がオリーブオイルだとするとこの百株以上は止む無い fact12: そのＤ・ビャンバスレン閣僚会議はオリーブオイルである fact13: もし仮に「そのＤ・ビャンバスレン閣僚会議は止む無い」ということは成り立つとするとその榕江行きは興奮鮫である fact14: もしも「その三分はオリーブオイルである」ということは成り立つならばあの百株以上は縫い合わせる fact15: もし仮にその三分が興奮鮫ならばあのＤ・ビャンバスレン閣僚会議はオリーブオイルだ fact16: 「この百株以上はオリーブオイルである」ということは成り立つ fact17: 仮にそのＤ・ビャンバスレン閣僚会議が縫い合わせるとすればこの百株以上は興奮鮫だ fact18: 仮にこの百株以上が止む無いとすればその榕江行きは縫い合わせる
void -> assump1: 以下のように仮定する。そのＤ・ビャンバスレン閣僚会議は興奮鮫だ; fact1 & assump1 -> int1: その三分はオリーブオイルだ; int1 & fact14 -> int2: この百株以上は縫い合わせる; int2 & fact5 -> int3: その榕江行きは止む無い; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのＤ・ビャンバスレン閣僚会議が興奮鮫であるとすればその三分はオリーブオイルだ fact2: この百株以上は興奮鮫だ fact3: その三分は縫い合わせる fact4: もしこの百株以上が興奮鮫であるならばあのＤ・ビャンバスレン閣僚会議は縫い合わせる fact5: この百株以上が縫い合わせればその榕江行きは止む無い fact6: もし仮にその榕江行きが縫い合わせるならこの百株以上は止む無い fact7: あの小豆粥は興奮鮫だ fact8: 「この百株以上は止む無い」ということは正しい fact9: 仮に「その三分は止む無い」ということは真実であるとするとその榕江行きはオリーブオイルだ fact10: 仮にこの百株以上がオリーブオイルであるならばあの三分は縫い合わせる fact11: もしその三分がオリーブオイルだとするとこの百株以上は止む無い fact12: そのＤ・ビャンバスレン閣僚会議はオリーブオイルである fact13: もし仮に「そのＤ・ビャンバスレン閣僚会議は止む無い」ということは成り立つとするとその榕江行きは興奮鮫である fact14: もしも「その三分はオリーブオイルである」ということは成り立つならばあの百株以上は縫い合わせる fact15: もし仮にその三分が興奮鮫ならばあのＤ・ビャンバスレン閣僚会議はオリーブオイルだ fact16: 「この百株以上はオリーブオイルである」ということは成り立つ fact17: 仮にそのＤ・ビャンバスレン閣僚会議が縫い合わせるとすればこの百株以上は興奮鮫だ fact18: 仮にこの百株以上が止む無いとすればその榕江行きは縫い合わせる ; $hypothesis$ = 「もしもそのＤ・ビャンバスレン閣僚会議は興奮鮫ならば「その榕江行きは止む無い」ということは成り立つ」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＤ・ビャンバスレン閣僚会議は興奮鮫だ; fact1 & assump1 -> int1: その三分はオリーブオイルだ; int1 & fact14 -> int2: この百株以上は縫い合わせる; int2 & fact5 -> int3: その榕江行きは止む無い; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: そのＤ・ビャンバスレン閣僚会議が興奮鮫であるとすればその三分はオリーブオイルだ
事実2: この百株以上は興奮鮫だ
事実3: その三分は縫い合わせる
事実4: もしこの百株以上が興奮鮫であるならばあのＤ・ビャンバスレン閣僚会議は縫い合わせる
事実5: この百株以上が縫い合わせればその榕江行きは止む無い
事実6: もし仮にその榕江行きが縫い合わせるならこの百株以上は止む無い
事実7: あの小豆粥は興奮鮫だ
事実8: 「この百株以上は止む無い」ということは正しい
事実9: 仮に「その三分は止む無い」ということは真実であるとするとその榕江行きはオリーブオイルだ
事実10: 仮にこの百株以上がオリーブオイルであるならばあの三分は縫い合わせる
事実11: もしその三分がオリーブオイルだとするとこの百株以上は止む無い
事実12: そのＤ・ビャンバスレン閣僚会議はオリーブオイルである
事実13: もし仮に「そのＤ・ビャンバスレン閣僚会議は止む無い」ということは成り立つとするとその榕江行きは興奮鮫である
事実14: もしも「その三分はオリーブオイルである」ということは成り立つならばあの百株以上は縫い合わせる
事実15: もし仮にその三分が興奮鮫ならばあのＤ・ビャンバスレン閣僚会議はオリーブオイルだ
事実16: 「この百株以上はオリーブオイルである」ということは成り立つ
事実17: 仮にそのＤ・ビャンバスレン閣僚会議が縫い合わせるとすればこの百株以上は興奮鮫だ
事実18: 仮にこの百株以上が止む無いとすればその榕江行きは縫い合わせる

仮説: 「もしもそのＤ・ビャンバスレン閣僚会議は興奮鮫ならば「その榕江行きは止む無い」ということは成り立つ」ということは偽である
1. 仮定1: 以下のように仮定する。そのＤ・ビャンバスレン閣僚会議は興奮鮫だ
2. 事実1と仮定1から、推論1: "その三分はオリーブオイルだ"が導かれる
3. 推論1と事実14から、推論2: "この百株以上は縫い合わせる"が導かれる
4. 推論2と事実5から、推論3: "その榕江行きは止む無い"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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