この査察官はめんど臭いが承服出来ない
fact1: 「あのＶ／Ｑスキャンは鳴き続けるし承服出来る」ということは間違っている fact2: 「この査察官はドラッグ＆ドロップするけれどそれは生まれ立てでない」ということは嘘である fact3: あの対外決済は看過し難い fact4: あのＶ／Ｑスキャンは誤り無い fact5: 「あのＶ／Ｑスキャンはドラッグ＆ドロップするしおまけにそれは看過し難い」ということは事実でない fact6: もし仮にあのＶ／Ｑスキャンが承服出来るしそれが看過し難いならこの査察官はドラッグ＆ドロップするということはない fact7: もしもこの査察官は看過し難くないとしたら「ドラッグ＆ドロップするしその上承服出来る」ということは成り立たない fact8: あのＶ／Ｑスキャンはドラッグ＆ドロップする fact9: もし仮にこの査察官は看過し難くないなら「それはめんど臭いしそれは承服出来ない」ということは成り立たない fact10: 「この査察官はドラッグ＆ドロップする一方でめんど臭くない」ということは真実でない fact11: もしもこの査察官が承服出来るしまたドラッグ＆ドロップするとすればあのＶ／Ｑスキャンは看過し難くない fact12: あのＶ／Ｑスキャンが看過し難くてそれにそれは承服出来るなら「この査察官はドラッグ＆ドロップしない」ということは成り立つ fact13: 「この査察官はドラッグ＆ドロップするしそれに承服出来る」ということは成り立つということはない fact14: もし仮にあのＶ／Ｑスキャンがドラッグ＆ドロップするしおまけに誤り無いとすればこの査察官は看過し難くない fact15: 「この査察官は山深い」ということは確かならばめんど臭いけど看過し難くない fact16: この査察官は誤り無いということはないなら「それは看過し難いししかもドラッグ＆ドロップする」ということは事実と異なる fact17: もし仮にこの査察官は誤り無くないとすれば「それはドラッグ＆ドロップするし更に看過し難い」ということは嘘である fact18: もし仮にこの査察官がめんど臭いけど看過し難くないならばそれはドラッグ＆ドロップしない fact19: この査察官は起こし得る fact20: この査察官はキクユ人でない fact21: もしあのＶ／Ｑスキャンが承服出来るということはないがしかし誤り無いとしたらこの給金は承服出来ない fact22: あのＶ／Ｑスキャンは承服出来る fact23: 「この査察官は誤り無いけどめんど臭いということはない」ということは事実と異なる
fact8 & fact4 -> int1: あのＶ／Ｑスキャンはドラッグ＆ドロップするしそれにそれは誤り無い; int1 & fact14 -> int2: この査察官は看過し難いということはない; int2 & fact9 -> hypothesis;
fact8 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact14 -> int2: ¬{C}{b}; int2 & fact9 -> hypothesis;
この給金は承服出来ない
$facts$ = fact1: 「あのＶ／Ｑスキャンは鳴き続けるし承服出来る」ということは間違っている fact2: 「この査察官はドラッグ＆ドロップするけれどそれは生まれ立てでない」ということは嘘である fact3: あの対外決済は看過し難い fact4: あのＶ／Ｑスキャンは誤り無い fact5: 「あのＶ／Ｑスキャンはドラッグ＆ドロップするしおまけにそれは看過し難い」ということは事実でない fact6: もし仮にあのＶ／Ｑスキャンが承服出来るしそれが看過し難いならこの査察官はドラッグ＆ドロップするということはない fact7: もしもこの査察官は看過し難くないとしたら「ドラッグ＆ドロップするしその上承服出来る」ということは成り立たない fact8: あのＶ／Ｑスキャンはドラッグ＆ドロップする fact9: もし仮にこの査察官は看過し難くないなら「それはめんど臭いしそれは承服出来ない」ということは成り立たない fact10: 「この査察官はドラッグ＆ドロップする一方でめんど臭くない」ということは真実でない fact11: もしもこの査察官が承服出来るしまたドラッグ＆ドロップするとすればあのＶ／Ｑスキャンは看過し難くない fact12: あのＶ／Ｑスキャンが看過し難くてそれにそれは承服出来るなら「この査察官はドラッグ＆ドロップしない」ということは成り立つ fact13: 「この査察官はドラッグ＆ドロップするしそれに承服出来る」ということは成り立つということはない fact14: もし仮にあのＶ／Ｑスキャンがドラッグ＆ドロップするしおまけに誤り無いとすればこの査察官は看過し難くない fact15: 「この査察官は山深い」ということは確かならばめんど臭いけど看過し難くない fact16: この査察官は誤り無いということはないなら「それは看過し難いししかもドラッグ＆ドロップする」ということは事実と異なる fact17: もし仮にこの査察官は誤り無くないとすれば「それはドラッグ＆ドロップするし更に看過し難い」ということは嘘である fact18: もし仮にこの査察官がめんど臭いけど看過し難くないならばそれはドラッグ＆ドロップしない fact19: この査察官は起こし得る fact20: この査察官はキクユ人でない fact21: もしあのＶ／Ｑスキャンが承服出来るということはないがしかし誤り無いとしたらこの給金は承服出来ない fact22: あのＶ／Ｑスキャンは承服出来る fact23: 「この査察官は誤り無いけどめんど臭いということはない」ということは事実と異なる ; $hypothesis$ = この査察官はめんど臭いが承服出来ない ; $proof$ = 
fact8 & fact4 -> int1: あのＶ／Ｑスキャンはドラッグ＆ドロップするしそれにそれは誤り無い; int1 & fact14 -> int2: この査察官は看過し難いということはない; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 「あのＶ／Ｑスキャンは鳴き続けるし承服出来る」ということは間違っている
事実2: 「この査察官はドラッグ＆ドロップするけれどそれは生まれ立てでない」ということは嘘である
事実3: あの対外決済は看過し難い
事実4: あのＶ／Ｑスキャンは誤り無い
事実5: 「あのＶ／Ｑスキャンはドラッグ＆ドロップするしおまけにそれは看過し難い」ということは事実でない
事実6: もし仮にあのＶ／Ｑスキャンが承服出来るしそれが看過し難いならこの査察官はドラッグ＆ドロップするということはない
事実7: もしもこの査察官は看過し難くないとしたら「ドラッグ＆ドロップするしその上承服出来る」ということは成り立たない
事実8: あのＶ／Ｑスキャンはドラッグ＆ドロップする
事実9: もし仮にこの査察官は看過し難くないなら「それはめんど臭いしそれは承服出来ない」ということは成り立たない
事実10: 「この査察官はドラッグ＆ドロップする一方でめんど臭くない」ということは真実でない
事実11: もしもこの査察官が承服出来るしまたドラッグ＆ドロップするとすればあのＶ／Ｑスキャンは看過し難くない
事実12: あのＶ／Ｑスキャンが看過し難くてそれにそれは承服出来るなら「この査察官はドラッグ＆ドロップしない」ということは成り立つ
事実13: 「この査察官はドラッグ＆ドロップするしそれに承服出来る」ということは成り立つということはない
事実14: もし仮にあのＶ／Ｑスキャンがドラッグ＆ドロップするしおまけに誤り無いとすればこの査察官は看過し難くない
事実15: 「この査察官は山深い」ということは確かならばめんど臭いけど看過し難くない
事実16: この査察官は誤り無いということはないなら「それは看過し難いししかもドラッグ＆ドロップする」ということは事実と異なる
事実17: もし仮にこの査察官は誤り無くないとすれば「それはドラッグ＆ドロップするし更に看過し難い」ということは嘘である
事実18: もし仮にこの査察官がめんど臭いけど看過し難くないならばそれはドラッグ＆ドロップしない
事実19: この査察官は起こし得る
事実20: この査察官はキクユ人でない
事実21: もしあのＶ／Ｑスキャンが承服出来るということはないがしかし誤り無いとしたらこの給金は承服出来ない
事実22: あのＶ／Ｑスキャンは承服出来る
事実23: 「この査察官は誤り無いけどめんど臭いということはない」ということは事実と異なる

仮説: この査察官はめんど臭いが承服出来ない
1. 事実8と事実4から、推論1: "あのＶ／Ｑスキャンはドラッグ＆ドロップするしそれにそれは誤り無い"が導かれる
2. 推論1と事実14から、推論2: "この査察官は看過し難いということはない"が導かれる
3. 推論2と事実9から、仮説が否定される

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