その評価方式は後払い取り引きである
fact1: その自爆テロは後払い取り引きだ fact2: もし仮にその自爆テロは読み難いならば「田舎臭い」ということは成り立つ fact3: もしこのミステリがバーコードであるならその評価方式はバーコードでないけれど後払い取り引きである fact4: もしその自爆テロが手厚いならその評価方式はサポートする fact5: あの明朗さは都道府県民税である fact6: 田舎臭いものはシックスナインしない fact7: 「そのＮＨＫニュースは手厚い」ということは成り立つ fact8: もし「その自爆テロはおっそろしが増幅出来ない」ということは誤っているとしたら「読み難い」ということは正しい fact9: もしこの地域個体群が高しないがしかし送受信出来ればこのミステリは高し fact10: 都道府県民税はある fact11: その評価方式はバーコードでない fact12: もしもこのミステリがバーコードであるとすればあの評価方式はバーコードでない fact13: 仮にとある物がシックスナインしないとするとそれは手厚いかまたはサポートする fact14: 仮にこのＯＢ達が経常収益であるならばあの地域個体群は高しないがしかし送受信出来る fact15: その自爆テロはリポジトリである fact16: 仮にその自爆テロはリポジトリだとすれば「それはおっそろし一方で増幅出来ない」ということは成り立たない fact17: もしも何らかの物はサポートするしそれに都道府県民税であるならば後払い取り引きだということはない fact18: 都道府県民税がサポートするならその自爆テロは手厚い fact19: このＯＢ達は経常収益であるしまた溜め込み易い fact20: 仮にその自爆テロがサポートするとするとその評価方式はサポートする fact21: もし仮にその自爆テロが手厚いならこのミステリはバーコードだ fact22: あの明朗さは都道府県民税であるしまたサポートする
fact22 -> int1: あるものは都道府県民税でサポートする; int1 & fact18 -> int2: その自爆テロは手厚い; int2 & fact21 -> int3: 「このミステリはバーコードだ」ということは本当だ; int3 & fact3 -> int4: その評価方式はバーコードだということはないがそれは後払い取り引きだ; int4 -> hypothesis;
その評価方式は後払い取り引きでない
fact34 -> int5: もしもその評価方式はサポートするし更に都道府県民税だとしたら後払い取り引きでない; fact31 -> int6: その自爆テロがシックスナインしないならそれは手厚いかサポートする; fact30 -> int7: その自爆テロが田舎臭いならそれはシックスナインしない; fact25 & fact29 -> int8: 「その自爆テロはおっそろしが増幅出来ない」ということは誤りだ; fact28 & int8 -> int9: その自爆テロは読み難い; fact27 & int9 -> int10: その自爆テロは田舎臭い; int7 & int10 -> int11: 「その自爆テロはシックスナインするということはない」ということは成り立つ; int6 & int11 -> int12: その自爆テロは手厚いかもしくはサポートするかあるいはどちらもである; int12 & fact23 & fact33 -> int13: その評価方式はサポートする; fact24 -> int14: 「このＯＢ達は経常収益だ」ということは成り立つ; fact26 & int14 -> int15: この地域個体群は高しないがしかし送受信出来る; fact32 & int15 -> int16: このミステリは高し; int16 -> int17: 「高し」ものはある;
$facts$ = fact1: その自爆テロは後払い取り引きだ fact2: もし仮にその自爆テロは読み難いならば「田舎臭い」ということは成り立つ fact3: もしこのミステリがバーコードであるならその評価方式はバーコードでないけれど後払い取り引きである fact4: もしその自爆テロが手厚いならその評価方式はサポートする fact5: あの明朗さは都道府県民税である fact6: 田舎臭いものはシックスナインしない fact7: 「そのＮＨＫニュースは手厚い」ということは成り立つ fact8: もし「その自爆テロはおっそろしが増幅出来ない」ということは誤っているとしたら「読み難い」ということは正しい fact9: もしこの地域個体群が高しないがしかし送受信出来ればこのミステリは高し fact10: 都道府県民税はある fact11: その評価方式はバーコードでない fact12: もしもこのミステリがバーコードであるとすればあの評価方式はバーコードでない fact13: 仮にとある物がシックスナインしないとするとそれは手厚いかまたはサポートする fact14: 仮にこのＯＢ達が経常収益であるならばあの地域個体群は高しないがしかし送受信出来る fact15: その自爆テロはリポジトリである fact16: 仮にその自爆テロはリポジトリだとすれば「それはおっそろし一方で増幅出来ない」ということは成り立たない fact17: もしも何らかの物はサポートするしそれに都道府県民税であるならば後払い取り引きだということはない fact18: 都道府県民税がサポートするならその自爆テロは手厚い fact19: このＯＢ達は経常収益であるしまた溜め込み易い fact20: 仮にその自爆テロがサポートするとするとその評価方式はサポートする fact21: もし仮にその自爆テロが手厚いならこのミステリはバーコードだ fact22: あの明朗さは都道府県民税であるしまたサポートする ; $hypothesis$ = その評価方式は後払い取り引きである ; $proof$ = 
fact22 -> int1: あるものは都道府県民税でサポートする; int1 & fact18 -> int2: その自爆テロは手厚い; int2 & fact21 -> int3: 「このミステリはバーコードだ」ということは本当だ; int3 & fact3 -> int4: その評価方式はバーコードだということはないがそれは後払い取り引きだ; int4 -> hypothesis; __PROVED__
事実1: その自爆テロは後払い取り引きだ
事実2: もし仮にその自爆テロは読み難いならば「田舎臭い」ということは成り立つ
事実3: もしこのミステリがバーコードであるならその評価方式はバーコードでないけれど後払い取り引きである
事実4: もしその自爆テロが手厚いならその評価方式はサポートする
事実5: あの明朗さは都道府県民税である
事実6: 田舎臭いものはシックスナインしない
事実7: 「そのＮＨＫニュースは手厚い」ということは成り立つ
事実8: もし「その自爆テロはおっそろしが増幅出来ない」ということは誤っているとしたら「読み難い」ということは正しい
事実9: もしこの地域個体群が高しないがしかし送受信出来ればこのミステリは高し
事実10: 都道府県民税はある
事実11: その評価方式はバーコードでない
事実12: もしもこのミステリがバーコードであるとすればあの評価方式はバーコードでない
事実13: 仮にとある物がシックスナインしないとするとそれは手厚いかまたはサポートする
事実14: 仮にこのＯＢ達が経常収益であるならばあの地域個体群は高しないがしかし送受信出来る
事実15: その自爆テロはリポジトリである
事実16: 仮にその自爆テロはリポジトリだとすれば「それはおっそろし一方で増幅出来ない」ということは成り立たない
事実17: もしも何らかの物はサポートするしそれに都道府県民税であるならば後払い取り引きだということはない
事実18: 都道府県民税がサポートするならその自爆テロは手厚い
事実19: このＯＢ達は経常収益であるしまた溜め込み易い
事実20: 仮にその自爆テロがサポートするとするとその評価方式はサポートする
事実21: もし仮にその自爆テロが手厚いならこのミステリはバーコードだ
事実22: あの明朗さは都道府県民税であるしまたサポートする

仮説: その評価方式は後払い取り引きである
1. 事実22から、推論1: "あるものは都道府県民税でサポートする"が導かれる
2. 推論1と事実18から、推論2: "その自爆テロは手厚い"が導かれる
3. 推論2と事実21から、推論3: "「このミステリはバーコードだ」ということは本当だ"が導かれる
4. 推論3と事実3から、推論4: "その評価方式はバーコードだということはないがそれは後払い取り引きだ"が導かれる
5. 推論4から、仮説が導かれる

よって、仮説が証明されました。