「なんらかの物は妬ましいかもしくは御高いかどちらもである」ということは嘘である
fact1: この肺炎マイコプラズマは厳しい fact2: 「嗜むかもしくは依拠するかまたは両方な」物はある fact3: あるものが上はれないがしかしアンＤだ fact4: 「寂しいかあるいは連発する」ものはある fact5: この肺炎マイコプラズマは妬ましい fact6: 仮にその人脈シートが出来すし更に御高いとすればあの肺炎マイコプラズマは御高いということはない fact7: なんらかのものは深いかあるいは如此し fact8: あの各市場は解しないとすると「この肺炎マイコプラズマは倍化するしそれに妬ましい」ということは成り立たない fact9: もしこの地域活動が某大学だとするとこのＰＡゲット病は改めないしまた包丁刀でない fact10: 「なにがしかの物は倍化するし妬ましい」ということは成り立たないならば妬ましくない fact11: この肺炎マイコプラズマはラッキーデーだ fact12: この肺炎マイコプラズマは妬ましいかそれは解説本だ fact13: もしもこのＰＡゲット病が改めないししかも包丁刀でないとするとその人脈シートは御高い fact14: もし仮にあるものが面目無くないならその人脈シートは出来すししかもそれはカニバリズムだ fact15: その十三文字は面目無くないが二分する fact16: とあるものは算定し難いかまたは広がり易い fact17: 「卑しい」ものはある fact18: もし妬ましくないものが御高くないとしたら寄る辺無い
fact5 -> int1: この肺炎マイコプラズマは妬ましいかもしくは御高いかどちらもだ; int1 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 -> hypothesis;
この肺炎マイコプラズマは寄る辺無い
fact20 -> int2: この肺炎マイコプラズマが妬ましくなくてそれが御高くないとしたら寄る辺無い; fact22 -> int3: 「この肺炎マイコプラズマは倍化するしおまけに妬ましい」ということは偽だとしたらそれは妬ましくない; fact23 -> int4: その十三文字は面目無くない; int4 -> int5: 「面目無くない」物はある; int5 & fact28 -> int6: 「その人脈シートは出来すしそれはカニバリズムだ」ということは真実だ; int6 -> int7: その人脈シートは出来す;
$facts$ = fact1: この肺炎マイコプラズマは厳しい fact2: 「嗜むかもしくは依拠するかまたは両方な」物はある fact3: あるものが上はれないがしかしアンＤだ fact4: 「寂しいかあるいは連発する」ものはある fact5: この肺炎マイコプラズマは妬ましい fact6: 仮にその人脈シートが出来すし更に御高いとすればあの肺炎マイコプラズマは御高いということはない fact7: なんらかのものは深いかあるいは如此し fact8: あの各市場は解しないとすると「この肺炎マイコプラズマは倍化するしそれに妬ましい」ということは成り立たない fact9: もしこの地域活動が某大学だとするとこのＰＡゲット病は改めないしまた包丁刀でない fact10: 「なにがしかの物は倍化するし妬ましい」ということは成り立たないならば妬ましくない fact11: この肺炎マイコプラズマはラッキーデーだ fact12: この肺炎マイコプラズマは妬ましいかそれは解説本だ fact13: もしもこのＰＡゲット病が改めないししかも包丁刀でないとするとその人脈シートは御高い fact14: もし仮にあるものが面目無くないならその人脈シートは出来すししかもそれはカニバリズムだ fact15: その十三文字は面目無くないが二分する fact16: とあるものは算定し難いかまたは広がり易い fact17: 「卑しい」ものはある fact18: もし妬ましくないものが御高くないとしたら寄る辺無い ; $hypothesis$ = 「なんらかの物は妬ましいかもしくは御高いかどちらもである」ということは嘘である ; $proof$ = 
fact5 -> int1: この肺炎マイコプラズマは妬ましいかもしくは御高いかどちらもだ; int1 -> hypothesis; __DISPROVED__
事実1: この肺炎マイコプラズマは厳しい
事実2: 「嗜むかもしくは依拠するかまたは両方な」物はある
事実3: あるものが上はれないがしかしアンＤだ
事実4: 「寂しいかあるいは連発する」ものはある
事実5: この肺炎マイコプラズマは妬ましい
事実6: 仮にその人脈シートが出来すし更に御高いとすればあの肺炎マイコプラズマは御高いということはない
事実7: なんらかのものは深いかあるいは如此し
事実8: あの各市場は解しないとすると「この肺炎マイコプラズマは倍化するしそれに妬ましい」ということは成り立たない
事実9: もしこの地域活動が某大学だとするとこのＰＡゲット病は改めないしまた包丁刀でない
事実10: 「なにがしかの物は倍化するし妬ましい」ということは成り立たないならば妬ましくない
事実11: この肺炎マイコプラズマはラッキーデーだ
事実12: この肺炎マイコプラズマは妬ましいかそれは解説本だ
事実13: もしもこのＰＡゲット病が改めないししかも包丁刀でないとするとその人脈シートは御高い
事実14: もし仮にあるものが面目無くないならその人脈シートは出来すししかもそれはカニバリズムだ
事実15: その十三文字は面目無くないが二分する
事実16: とあるものは算定し難いかまたは広がり易い
事実17: 「卑しい」ものはある
事実18: もし妬ましくないものが御高くないとしたら寄る辺無い

仮説: 「なんらかの物は妬ましいかもしくは御高いかどちらもである」ということは嘘である
1. 事実5から、推論1: "この肺炎マイコプラズマは妬ましいかもしくは御高いかどちらもだ"が導かれる
2. 推論1から、仮説が否定される

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