このサラダ油は規定し合わない
fact1: もしこの熱湯が規定し合わないならばこのフォローは締めっぽいがしかし規定し合うということはない fact2: このサラダ油は締めっぽい fact3: 「この熱湯は締めっぽいということはないけれど高級娼婦だ」ということは成り立つということはない fact4: もしも「この熱湯は高級娼婦でない」ということは本当であるとするとこのフォローは規定し合わない fact5: もし仮にこの熱湯が七五調であるとするとこのサラダ油は上記要件でないか厳つかないかまたは両方ともだ fact6: もしも「厳つかなくて規定し合わない」ものがあるとするとこの熱湯は上記要件でない fact7: もし仮に「なにかは七五調であるということはないしかつ大きくない」ということは事実と異なればそれは七五調である fact8: このフォローはシュールでない fact9: もしもこのフォローが七五調であるならこの熱湯は七五調である fact10: この沖縄玉砕は規定し合うということはない fact11: この熱湯は高級娼婦だ一方で空しかない fact12: すべては七五調でなくてそれにそれは合一する fact13: その大崎台遺跡は合一する fact14: このフォローが規定し合うということはないとしたらこのサラダ油は上記要件であるけれど規定し合わない fact15: もし仮にこの熱湯は上記要件でないとしたら「このサラダ油は高級娼婦である」ということは間違いであるということはない fact16: もしも「この熱湯は締めっぽいということはないけど高級娼婦だ」ということは間違っているとしたらこのフォローは規定し合うということはない
fact16 & fact3 -> int1: このフォローは規定し合わない; int1 & fact14 -> int2: このサラダ油は上記要件であるが規定し合うということはない; int2 -> hypothesis;
fact16 & fact3 -> int1: ¬{B}{b}; int1 & fact14 -> int2: ({A}{c} & ¬{B}{c}); int2 -> hypothesis;
この熱湯は上記要件でない
fact17 -> int3: このサラダ油は七五調でない一方で合一する; int3 -> int4: このサラダ油は七五調でない;
$facts$ = fact1: もしこの熱湯が規定し合わないならばこのフォローは締めっぽいがしかし規定し合うということはない fact2: このサラダ油は締めっぽい fact3: 「この熱湯は締めっぽいということはないけれど高級娼婦だ」ということは成り立つということはない fact4: もしも「この熱湯は高級娼婦でない」ということは本当であるとするとこのフォローは規定し合わない fact5: もし仮にこの熱湯が七五調であるとするとこのサラダ油は上記要件でないか厳つかないかまたは両方ともだ fact6: もしも「厳つかなくて規定し合わない」ものがあるとするとこの熱湯は上記要件でない fact7: もし仮に「なにかは七五調であるということはないしかつ大きくない」ということは事実と異なればそれは七五調である fact8: このフォローはシュールでない fact9: もしもこのフォローが七五調であるならこの熱湯は七五調である fact10: この沖縄玉砕は規定し合うということはない fact11: この熱湯は高級娼婦だ一方で空しかない fact12: すべては七五調でなくてそれにそれは合一する fact13: その大崎台遺跡は合一する fact14: このフォローが規定し合うということはないとしたらこのサラダ油は上記要件であるけれど規定し合わない fact15: もし仮にこの熱湯は上記要件でないとしたら「このサラダ油は高級娼婦である」ということは間違いであるということはない fact16: もしも「この熱湯は締めっぽいということはないけど高級娼婦だ」ということは間違っているとしたらこのフォローは規定し合うということはない ; $hypothesis$ = このサラダ油は規定し合わない ; $proof$ = 
fact16 & fact3 -> int1: このフォローは規定し合わない; int1 & fact14 -> int2: このサラダ油は上記要件であるが規定し合うということはない; int2 -> hypothesis; __PROVED__
事実1: もしこの熱湯が規定し合わないならばこのフォローは締めっぽいがしかし規定し合うということはない
事実2: このサラダ油は締めっぽい
事実3: 「この熱湯は締めっぽいということはないけれど高級娼婦だ」ということは成り立つということはない
事実4: もしも「この熱湯は高級娼婦でない」ということは本当であるとするとこのフォローは規定し合わない
事実5: もし仮にこの熱湯が七五調であるとするとこのサラダ油は上記要件でないか厳つかないかまたは両方ともだ
事実6: もしも「厳つかなくて規定し合わない」ものがあるとするとこの熱湯は上記要件でない
事実7: もし仮に「なにかは七五調であるということはないしかつ大きくない」ということは事実と異なればそれは七五調である
事実8: このフォローはシュールでない
事実9: もしもこのフォローが七五調であるならこの熱湯は七五調である
事実10: この沖縄玉砕は規定し合うということはない
事実11: この熱湯は高級娼婦だ一方で空しかない
事実12: すべては七五調でなくてそれにそれは合一する
事実13: その大崎台遺跡は合一する
事実14: このフォローが規定し合うということはないとしたらこのサラダ油は上記要件であるけれど規定し合わない
事実15: もし仮にこの熱湯は上記要件でないとしたら「このサラダ油は高級娼婦である」ということは間違いであるということはない
事実16: もしも「この熱湯は締めっぽいということはないけど高級娼婦だ」ということは間違っているとしたらこのフォローは規定し合うということはない

仮説: このサラダ油は規定し合わない
1. 事実16と事実3から、推論1: "このフォローは規定し合わない"が導かれる
2. 推論1と事実14から、推論2: "このサラダ油は上記要件であるが規定し合うということはない"が導かれる
3. 推論2から、仮説が導かれる

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