「その清和はダイマーだということはない」ということは事実である
fact1: 「その襟は厚かましくなくてクッキーだということはない」ということは嘘である fact2: 仮に有り難いものが漁るなら肯認する fact3: もし仮にこのオリーブ油小匙は医大であるなら「あの公信は地上権でないかあるいはそれは混同し易くないかまたはどちらもだ」ということは事実でない fact4: もし仮に「あの公信は地上権でないか混同し易くないかどちらもだ」ということは間違っていればこの奇麗さは観光客らしくない fact5: もし仮にあるものは有り難くないがしかし漁れば肯認する fact6: その美点が有り難いということはないならばその清和は有り難くない一方で漁る fact7: 観光客らしい物は地上権だ fact8: もしもこの奇麗さが観光客らしくないならばその美点は有り難くない fact9: もしも「なにかは医大でないか混同し易くない」ということは間違っているならダイマーでない fact10: もし仮に「「厚かましくなくてそれにクッキーでない」ということは成り立たない」ものがあるとすればこのオリーブ油小匙は医大である fact11: ある物は肯認するとしたら「それはダイマーである」ということは成り立つ fact12: 「なんらかのものは地上権であるとしたら「医大でないかあるいはそれは混同し易くない」ということは偽だ」ということは成り立つ
fact1 -> int1: 「「厚かましくなくてまたクッキーでない」ということは間違っている」ものはある; int1 & fact10 -> int2: このオリーブ油小匙は医大である; int2 & fact3 -> int3: 「あの公信は地上権でないかあるいはそれは混同し易くない」ということは誤りだ; int3 & fact4 -> int4: この奇麗さは観光客らしくない; int4 & fact8 -> int5: その美点は有り難くない; int5 & fact6 -> int6: その清和は有り難くないが漁る; fact5 -> int7: もしその清和が有り難くない一方で漁るとすればそれは肯認する; int6 & int7 -> int8: その清和は肯認する; fact11 -> int9: 仮に「その清和は肯認する」ということは真実だとしたらダイマーである; int8 & int9 -> hypothesis;
その清和はダイマーでない
fact15 -> int10: もし「その清和は医大だということはないか混同し易くない」ということは事実でないならダイマーでない; fact13 -> int11: 仮にその清和は地上権であるとすると「医大でないかもしくは混同し易くないかもしくは両方だ」ということは間違っている; fact14 -> int12: もしその清和が観光客らしいとしたら地上権である;
$facts$ = fact1: 「その襟は厚かましくなくてクッキーだということはない」ということは嘘である fact2: 仮に有り難いものが漁るなら肯認する fact3: もし仮にこのオリーブ油小匙は医大であるなら「あの公信は地上権でないかあるいはそれは混同し易くないかまたはどちらもだ」ということは事実でない fact4: もし仮に「あの公信は地上権でないか混同し易くないかどちらもだ」ということは間違っていればこの奇麗さは観光客らしくない fact5: もし仮にあるものは有り難くないがしかし漁れば肯認する fact6: その美点が有り難いということはないならばその清和は有り難くない一方で漁る fact7: 観光客らしい物は地上権だ fact8: もしもこの奇麗さが観光客らしくないならばその美点は有り難くない fact9: もしも「なにかは医大でないか混同し易くない」ということは間違っているならダイマーでない fact10: もし仮に「「厚かましくなくてそれにクッキーでない」ということは成り立たない」ものがあるとすればこのオリーブ油小匙は医大である fact11: ある物は肯認するとしたら「それはダイマーである」ということは成り立つ fact12: 「なんらかのものは地上権であるとしたら「医大でないかあるいはそれは混同し易くない」ということは偽だ」ということは成り立つ ; $hypothesis$ = 「その清和はダイマーだということはない」ということは事実である ; $proof$ = 
fact1 -> int1: 「「厚かましくなくてまたクッキーでない」ということは間違っている」ものはある; int1 & fact10 -> int2: このオリーブ油小匙は医大である; int2 & fact3 -> int3: 「あの公信は地上権でないかあるいはそれは混同し易くない」ということは誤りだ; int3 & fact4 -> int4: この奇麗さは観光客らしくない; int4 & fact8 -> int5: その美点は有り難くない; int5 & fact6 -> int6: その清和は有り難くないが漁る; fact5 -> int7: もしその清和が有り難くない一方で漁るとすればそれは肯認する; int6 & int7 -> int8: その清和は肯認する; fact11 -> int9: 仮に「その清和は肯認する」ということは真実だとしたらダイマーである; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 「その襟は厚かましくなくてクッキーだということはない」ということは嘘である
事実2: 仮に有り難いものが漁るなら肯認する
事実3: もし仮にこのオリーブ油小匙は医大であるなら「あの公信は地上権でないかあるいはそれは混同し易くないかまたはどちらもだ」ということは事実でない
事実4: もし仮に「あの公信は地上権でないか混同し易くないかどちらもだ」ということは間違っていればこの奇麗さは観光客らしくない
事実5: もし仮にあるものは有り難くないがしかし漁れば肯認する
事実6: その美点が有り難いということはないならばその清和は有り難くない一方で漁る
事実7: 観光客らしい物は地上権だ
事実8: もしもこの奇麗さが観光客らしくないならばその美点は有り難くない
事実9: もしも「なにかは医大でないか混同し易くない」ということは間違っているならダイマーでない
事実10: もし仮に「「厚かましくなくてそれにクッキーでない」ということは成り立たない」ものがあるとすればこのオリーブ油小匙は医大である
事実11: ある物は肯認するとしたら「それはダイマーである」ということは成り立つ
事実12: 「なんらかのものは地上権であるとしたら「医大でないかあるいはそれは混同し易くない」ということは偽だ」ということは成り立つ

仮説: 「その清和はダイマーだということはない」ということは事実である
1. 事実1から、推論1: "「「厚かましくなくてまたクッキーでない」ということは間違っている」ものはある"が導かれる
2. 推論1と事実10から、推論2: "このオリーブ油小匙は医大である"が導かれる
3. 推論2と事実3から、推論3: "「あの公信は地上権でないかあるいはそれは混同し易くない」ということは誤りだ"が導かれる
4. 推論3と事実4から、推論4: "この奇麗さは観光客らしくない"が導かれる
5. 推論4と事実8から、推論5: "その美点は有り難くない"が導かれる
6. 推論5と事実6から、推論6: "その清和は有り難くないが漁る"が導かれる
7. 事実5から、推論7: "もしその清和が有り難くない一方で漁るとすればそれは肯認する"が導かれる
8. 推論6と推論7から、推論8: "その清和は肯認する"が導かれる
9. 事実11から、推論9: "仮に「その清和は肯認する」ということは真実だとしたらダイマーである"が導かれる
10. 推論8と推論9から、仮説が否定される

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