「このＲＯは聞き付けるしおまけにそれは不味い」ということは間違いだ
fact1: もし不味くないものは乗り掛けないとすれば「それは聞き付ける」ということは正しい fact2: このＲＯは不味い fact3: あの開拓民達は不味くておまけにカバだ fact4: このＲＯは比較する fact5: この楹は利用し易くて心憎い fact6: あの短命は不味くて奪い返す fact7: このＲＯは打ち易い fact8: ある物が食い尽くすとすると不味くないし更に乗り掛けない fact9: このＲＯはショーツだ fact10: もしそのアプレットウィザードは乗り掛けないとすると「このＲＯは聞き付けるし不味い」ということは間違いである fact11: この加入者番号は聞き付ける fact12: もしもその邦画がミクロ装置でなくて更に失礼致すということはないならカバでない fact13: もし仮になんらかのものは乗り掛けないとすると「それは聞き付けるしその上不味い」ということは事実でない fact14: このＲＯは聞き付ける fact15: 仮にこのＲＯはカバでないとすれば「各構成員だし更にそれは食い尽くす」ということは嘘である fact16: あの隻眼は聞き付ける fact17: なんらかの物はカバでないとするとそれは食い尽くすし各構成員だ fact18: このＲＯは攻撃し易い
fact14 & fact2 -> hypothesis;
fact14 & fact2 -> hypothesis;
その義仲軍は不味い
$facts$ = fact1: もし不味くないものは乗り掛けないとすれば「それは聞き付ける」ということは正しい fact2: このＲＯは不味い fact3: あの開拓民達は不味くておまけにカバだ fact4: このＲＯは比較する fact5: この楹は利用し易くて心憎い fact6: あの短命は不味くて奪い返す fact7: このＲＯは打ち易い fact8: ある物が食い尽くすとすると不味くないし更に乗り掛けない fact9: このＲＯはショーツだ fact10: もしそのアプレットウィザードは乗り掛けないとすると「このＲＯは聞き付けるし不味い」ということは間違いである fact11: この加入者番号は聞き付ける fact12: もしもその邦画がミクロ装置でなくて更に失礼致すということはないならカバでない fact13: もし仮になんらかのものは乗り掛けないとすると「それは聞き付けるしその上不味い」ということは事実でない fact14: このＲＯは聞き付ける fact15: 仮にこのＲＯはカバでないとすれば「各構成員だし更にそれは食い尽くす」ということは嘘である fact16: あの隻眼は聞き付ける fact17: なんらかの物はカバでないとするとそれは食い尽くすし各構成員だ fact18: このＲＯは攻撃し易い ; $hypothesis$ = 「このＲＯは聞き付けるしおまけにそれは不味い」ということは間違いだ ; $proof$ = 
fact14 & fact2 -> hypothesis; __DISPROVED__
事実1: もし不味くないものは乗り掛けないとすれば「それは聞き付ける」ということは正しい
事実2: このＲＯは不味い
事実3: あの開拓民達は不味くておまけにカバだ
事実4: このＲＯは比較する
事実5: この楹は利用し易くて心憎い
事実6: あの短命は不味くて奪い返す
事実7: このＲＯは打ち易い
事実8: ある物が食い尽くすとすると不味くないし更に乗り掛けない
事実9: このＲＯはショーツだ
事実10: もしそのアプレットウィザードは乗り掛けないとすると「このＲＯは聞き付けるし不味い」ということは間違いである
事実11: この加入者番号は聞き付ける
事実12: もしもその邦画がミクロ装置でなくて更に失礼致すということはないならカバでない
事実13: もし仮になんらかのものは乗り掛けないとすると「それは聞き付けるしその上不味い」ということは事実でない
事実14: このＲＯは聞き付ける
事実15: 仮にこのＲＯはカバでないとすれば「各構成員だし更にそれは食い尽くす」ということは嘘である
事実16: あの隻眼は聞き付ける
事実17: なんらかの物はカバでないとするとそれは食い尽くすし各構成員だ
事実18: このＲＯは攻撃し易い

仮説: 「このＲＯは聞き付けるしおまけにそれは不味い」ということは間違いだ
1. 事実14と事実2から、仮説が否定される

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