仮に「このべた書きテキストは眼色だ」ということは成り立つとしたらあの退散は小高くないがしかし自弁だ
fact1: 仮にこのべた書きテキストがどす黒いとするとあの退散は自弁でないが眼色だ fact2: もし仮にあの退散が眼色だとしたらこのべた書きテキストはどす黒くない fact3: このシートカバーはどす黒い fact4: もし仮にこのべた書きテキストが眼色だとするとあの退散は小高くない fact5: このべた書きテキストは自弁だ fact6: その湯たんぽは小高い fact7: あの退散はどす黒い fact8: 「この保税担当部門は小高い」ということは成り立つ fact9: もしもあの退散がどす黒いとすれば自弁だ fact10: このべた書きテキストはどす黒いということはないが眼色だ fact11: この部外秘は小高い fact12: あの御日様は小高くないがそれは長持ちだ fact13: もし仮にこのべた書きテキストがどす黒いとすればあの退散は小高いということはないが眼色だ fact14: 「もしも「あの退散は自弁であるということはない」ということは成り立たないとしたらこのべた書きテキストは小高くない」ということは事実である
void -> assump1: 以下のように仮定する。このべた書きテキストは眼色である; fact4 & assump1 -> int1: あの退散は小高くない; fact9 & fact7 -> int2: あの退散は自弁である; int1 & int2 -> int3: あの退散は小高くないがしかし自弁だ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にこのべた書きテキストがどす黒いとするとあの退散は自弁でないが眼色だ fact2: もし仮にあの退散が眼色だとしたらこのべた書きテキストはどす黒くない fact3: このシートカバーはどす黒い fact4: もし仮にこのべた書きテキストが眼色だとするとあの退散は小高くない fact5: このべた書きテキストは自弁だ fact6: その湯たんぽは小高い fact7: あの退散はどす黒い fact8: 「この保税担当部門は小高い」ということは成り立つ fact9: もしもあの退散がどす黒いとすれば自弁だ fact10: このべた書きテキストはどす黒いということはないが眼色だ fact11: この部外秘は小高い fact12: あの御日様は小高くないがそれは長持ちだ fact13: もし仮にこのべた書きテキストがどす黒いとすればあの退散は小高いということはないが眼色だ fact14: 「もしも「あの退散は自弁であるということはない」ということは成り立たないとしたらこのべた書きテキストは小高くない」ということは事実である ; $hypothesis$ = 仮に「このべた書きテキストは眼色だ」ということは成り立つとしたらあの退散は小高くないがしかし自弁だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このべた書きテキストは眼色である; fact4 & assump1 -> int1: あの退散は小高くない; fact9 & fact7 -> int2: あの退散は自弁である; int1 & int2 -> int3: あの退散は小高くないがしかし自弁だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にこのべた書きテキストがどす黒いとするとあの退散は自弁でないが眼色だ
事実2: もし仮にあの退散が眼色だとしたらこのべた書きテキストはどす黒くない
事実3: このシートカバーはどす黒い
事実4: もし仮にこのべた書きテキストが眼色だとするとあの退散は小高くない
事実5: このべた書きテキストは自弁だ
事実6: その湯たんぽは小高い
事実7: あの退散はどす黒い
事実8: 「この保税担当部門は小高い」ということは成り立つ
事実9: もしもあの退散がどす黒いとすれば自弁だ
事実10: このべた書きテキストはどす黒いということはないが眼色だ
事実11: この部外秘は小高い
事実12: あの御日様は小高くないがそれは長持ちだ
事実13: もし仮にこのべた書きテキストがどす黒いとすればあの退散は小高いということはないが眼色だ
事実14: 「もしも「あの退散は自弁であるということはない」ということは成り立たないとしたらこのべた書きテキストは小高くない」ということは事実である

仮説: 仮に「このべた書きテキストは眼色だ」ということは成り立つとしたらあの退散は小高くないがしかし自弁だ
1. 仮定1: 以下のように仮定する。このべた書きテキストは眼色である
2. 事実4と仮定1から、推論1: "あの退散は小高くない"が導かれる
3. 事実9と事実7から、推論2: "あの退散は自弁である"が導かれる
4. 推論1と推論2から、推論3: "あの退散は小高くないがしかし自弁だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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