あの水冷は聖木曜日でないがしかし醜女である
fact1: もしも何かは一零：三十ＰＭでないとすればそれは聖木曜日でないしそれは醜女である fact2: もしなにかは提言すとすると「一零：三十ＰＭであるということはない一方で雇用契約時点だ」ということは成り立たない fact3: 仮にあの真実性が泡立てるかあるいはそれがレンタルショップであるとすればあの水冷は一零：三十ＰＭでない fact4: 仮にあの真実性は泡立てないならば「あの水冷は聖木曜日でない一方で醜女だ」ということは間違いである fact5: 仮に「あの真実性は一零：三十ＰＭでないけれど雇用契約時点だ」ということは事実と異なるとしたらそれは一零：三十ＰＭだ fact6: あの真実性はレンタルショップだ fact7: 一零：三十ＰＭは泡立てない一方でレンタルショップである
fact6 -> int1: あの真実性は泡立てるかまたはレンタルショップであるかまたは両方ともだ; int1 & fact3 -> int2: あの水冷は一零：三十ＰＭでない; fact1 -> int3: あの水冷が一零：三十ＰＭでないとすればそれは聖木曜日でなくてそれは醜女だ; int2 & int3 -> hypothesis;
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; fact1 -> int3: ¬{C}{b} -> (¬{E}{b} & {D}{b}); int2 & int3 -> hypothesis;
「「あの水冷は聖木曜日でないけど醜女である」ということは嘘だ」ということは成り立つ
fact9 -> int4: 仮にあの真実性が一零：三十ＰＭなら泡立てないしレンタルショップだ; fact8 -> int5: 「もしもあの真実性は提言すとすれば「あの真実性は一零：三十ＰＭでないけど雇用契約時点である」ということは成り立たない」ということは成り立つ;
$facts$ = fact1: もしも何かは一零：三十ＰＭでないとすればそれは聖木曜日でないしそれは醜女である fact2: もしなにかは提言すとすると「一零：三十ＰＭであるということはない一方で雇用契約時点だ」ということは成り立たない fact3: 仮にあの真実性が泡立てるかあるいはそれがレンタルショップであるとすればあの水冷は一零：三十ＰＭでない fact4: 仮にあの真実性は泡立てないならば「あの水冷は聖木曜日でない一方で醜女だ」ということは間違いである fact5: 仮に「あの真実性は一零：三十ＰＭでないけれど雇用契約時点だ」ということは事実と異なるとしたらそれは一零：三十ＰＭだ fact6: あの真実性はレンタルショップだ fact7: 一零：三十ＰＭは泡立てない一方でレンタルショップである ; $hypothesis$ = あの水冷は聖木曜日でないがしかし醜女である ; $proof$ = 
fact6 -> int1: あの真実性は泡立てるかまたはレンタルショップであるかまたは両方ともだ; int1 & fact3 -> int2: あの水冷は一零：三十ＰＭでない; fact1 -> int3: あの水冷が一零：三十ＰＭでないとすればそれは聖木曜日でなくてそれは醜女だ; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも何かは一零：三十ＰＭでないとすればそれは聖木曜日でないしそれは醜女である
事実2: もしなにかは提言すとすると「一零：三十ＰＭであるということはない一方で雇用契約時点だ」ということは成り立たない
事実3: 仮にあの真実性が泡立てるかあるいはそれがレンタルショップであるとすればあの水冷は一零：三十ＰＭでない
事実4: 仮にあの真実性は泡立てないならば「あの水冷は聖木曜日でない一方で醜女だ」ということは間違いである
事実5: 仮に「あの真実性は一零：三十ＰＭでないけれど雇用契約時点だ」ということは事実と異なるとしたらそれは一零：三十ＰＭだ
事実6: あの真実性はレンタルショップだ
事実7: 一零：三十ＰＭは泡立てない一方でレンタルショップである

仮説: あの水冷は聖木曜日でないがしかし醜女である
1. 事実6から、推論1: "あの真実性は泡立てるかまたはレンタルショップであるかまたは両方ともだ"が導かれる
2. 推論1と事実3から、推論2: "あの水冷は一零：三十ＰＭでない"が導かれる
3. 事実1から、推論3: "あの水冷が一零：三十ＰＭでないとすればそれは聖木曜日でなくてそれは醜女だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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