このビデオメモリは御高い
fact1: もしも「その大覚寺は看過すけど通り易くない」ということは確かでないなら受け入れられ易くない fact2: もしもこの先決が転化出来ないならそれは通り易いということはないしまた受け入れられ易くない fact3: この共同体スホードは沖縄県内でない fact4: 仮にその大覚寺が受け入れられ易いということはないとしたらこの共同体スホードは転化出来る fact5: もしもこの郵便法は保護措置だとすると「その大覚寺は看過すしかつ通り易い」ということは成り立たない fact6: 「とある物は三作であるけどそれは御高くない」ということは間違いならそれは御高い fact7: その物議は沖縄県内でない fact8: もし「この共同体スホードは受け入れられ易くないけど転化出来る」ということは確かであるとすればこのビデオメモリは御高くない fact9: 「もしもその大覚寺は通り易いならば「その大覚寺は受け入れられ易くない」ということは真実である」ということは正しい fact10: 仮にこの先決が三作だとするとその物議は沖縄県内である fact11: 「その大覚寺は看過すし通り易い」ということは間違いである fact12: もし仮になんらかのものは保護措置でないとすると「三作であるしその上御高くない」ということは成り立つということはない fact13: この共同体スホードは転化出来る fact14: もしこの郵便法が保護措置でないならばこの先決は三作である fact15: この先決は転化出来ない fact16: もしも「通り易くない」物があるならばあの郵便法は看過すけどそれは沖縄県内でない fact17: もしその大覚寺が受け入れられ易いということはないならばこの共同体スホードは受け入れられ易くないがしかし転化出来る fact18: もしこの郵便法は保護措置なら「その大覚寺は看過すけど通り易くない」ということは成り立たない
void -> assump1: 以下のように仮定する。この郵便法は保護措置でない; fact14 & assump1 -> int1: この先決は三作だ; int1 & fact10 -> int2: その物議は沖縄県内だ; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: この郵便法は保護措置である; int4 & fact18 -> int5: 「その大覚寺は看過すけれど通り易くない」ということは成り立たない; int5 & fact1 -> int6: その大覚寺は受け入れられ易くない; int6 & fact17 -> int7: この共同体スホードは受け入れられ易くないけれど転化出来る; int7 & fact8 -> hypothesis;
このビデオメモリは御高い
fact22 -> int8: 仮に「このビデオメモリは三作だが御高くない」ということは間違いであるとすると「それは御高い」ということは確かである; fact23 -> int9: もし仮にこのビデオメモリは保護措置でないとしたら「三作でまた御高くない」ということは成り立たない; fact20 & fact19 -> int10: この先決は通り易くなくて受け入れられ易くない; int10 -> int11: この先決は通り易くない; int11 -> int12: なにがしかのものは通り易いということはない; int12 & fact21 -> int13: この郵便法は看過すがしかし沖縄県内でない; int13 -> int14: 「看過すし沖縄県内でない」物はある;
$facts$ = fact1: もしも「その大覚寺は看過すけど通り易くない」ということは確かでないなら受け入れられ易くない fact2: もしもこの先決が転化出来ないならそれは通り易いということはないしまた受け入れられ易くない fact3: この共同体スホードは沖縄県内でない fact4: 仮にその大覚寺が受け入れられ易いということはないとしたらこの共同体スホードは転化出来る fact5: もしもこの郵便法は保護措置だとすると「その大覚寺は看過すしかつ通り易い」ということは成り立たない fact6: 「とある物は三作であるけどそれは御高くない」ということは間違いならそれは御高い fact7: その物議は沖縄県内でない fact8: もし「この共同体スホードは受け入れられ易くないけど転化出来る」ということは確かであるとすればこのビデオメモリは御高くない fact9: 「もしもその大覚寺は通り易いならば「その大覚寺は受け入れられ易くない」ということは真実である」ということは正しい fact10: 仮にこの先決が三作だとするとその物議は沖縄県内である fact11: 「その大覚寺は看過すし通り易い」ということは間違いである fact12: もし仮になんらかのものは保護措置でないとすると「三作であるしその上御高くない」ということは成り立つということはない fact13: この共同体スホードは転化出来る fact14: もしこの郵便法が保護措置でないならばこの先決は三作である fact15: この先決は転化出来ない fact16: もしも「通り易くない」物があるならばあの郵便法は看過すけどそれは沖縄県内でない fact17: もしその大覚寺が受け入れられ易いということはないならばこの共同体スホードは受け入れられ易くないがしかし転化出来る fact18: もしこの郵便法は保護措置なら「その大覚寺は看過すけど通り易くない」ということは成り立たない ; $hypothesis$ = このビデオメモリは御高い ; $proof$ = 
void -> assump1: 以下のように仮定する。この郵便法は保護措置でない; fact14 & assump1 -> int1: この先決は三作だ; int1 & fact10 -> int2: その物議は沖縄県内だ; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: この郵便法は保護措置である; int4 & fact18 -> int5: 「その大覚寺は看過すけれど通り易くない」ということは成り立たない; int5 & fact1 -> int6: その大覚寺は受け入れられ易くない; int6 & fact17 -> int7: この共同体スホードは受け入れられ易くないけれど転化出来る; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: もしも「その大覚寺は看過すけど通り易くない」ということは確かでないなら受け入れられ易くない
事実2: もしもこの先決が転化出来ないならそれは通り易いということはないしまた受け入れられ易くない
事実3: この共同体スホードは沖縄県内でない
事実4: 仮にその大覚寺が受け入れられ易いということはないとしたらこの共同体スホードは転化出来る
事実5: もしもこの郵便法は保護措置だとすると「その大覚寺は看過すしかつ通り易い」ということは成り立たない
事実6: 「とある物は三作であるけどそれは御高くない」ということは間違いならそれは御高い
事実7: その物議は沖縄県内でない
事実8: もし「この共同体スホードは受け入れられ易くないけど転化出来る」ということは確かであるとすればこのビデオメモリは御高くない
事実9: 「もしもその大覚寺は通り易いならば「その大覚寺は受け入れられ易くない」ということは真実である」ということは正しい
事実10: 仮にこの先決が三作だとするとその物議は沖縄県内である
事実11: 「その大覚寺は看過すし通り易い」ということは間違いである
事実12: もし仮になんらかのものは保護措置でないとすると「三作であるしその上御高くない」ということは成り立つということはない
事実13: この共同体スホードは転化出来る
事実14: もしこの郵便法が保護措置でないならばこの先決は三作である
事実15: この先決は転化出来ない
事実16: もしも「通り易くない」物があるならばあの郵便法は看過すけどそれは沖縄県内でない
事実17: もしその大覚寺が受け入れられ易いということはないならばこの共同体スホードは受け入れられ易くないがしかし転化出来る
事実18: もしこの郵便法は保護措置なら「その大覚寺は看過すけど通り易くない」ということは成り立たない

仮説: このビデオメモリは御高い
1. 仮定1: 以下のように仮定する。この郵便法は保護措置でない
2. 事実14と仮定1から、推論1: "この先決は三作だ"が導かれる
3. 推論1と事実10から、推論2: "その物議は沖縄県内だ"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この郵便法は保護措置である"が導かれる
6. 推論4と事実18から、推論5: "「その大覚寺は看過すけれど通り易くない」ということは成り立たない"が導かれる
7. 推論5と事実1から、推論6: "その大覚寺は受け入れられ易くない"が導かれる
8. 推論6と事実17から、推論7: "この共同体スホードは受け入れられ易くないけれど転化出来る"が導かれる
9. 推論7と事実8から、仮説が否定される

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