「この心理学科は合併し易くない」ということは真実だ
fact1: この心理学科は百万円前後でない fact2: もし仮に「この心理学科は合併し易くないしその上百万円前後でない」ということは誤っているならばあの男女比は断り難い fact3: この完全勃起は打ち勝つ一方で合併し易くない fact4: 「「この心理学科は合併し易くないけれど百万円前後である」ということは成り立つ」ということは事実と異なる fact5: 「あの男女比は一部上場企業であるが百万円前後でない」ということは正しい fact6: もし仮にこの心理学科が投宿するとするとその各文字は約三万人だが放冷しない fact7: 仮に「このテラは御貸し下さらない」ということは嘘でないならこの蝮目はかっ飛ばすしまた射出す fact8: あの男女比が合併し易いということはないならばこの心理学科は合併し易い fact9: 「あの男女比は合併し易くないしまた一部上場企業でない」ということは間違いである fact10: 「この心理学科は一部上場企業でないし加えて合併し易くない」ということは間違っている fact11: 「この蝮目は射出す」ということは成り立つとすれば「あの男女比は投宿する一方で田地証文でない」ということは成り立たない fact12: この心理学科が断り難くないしさらに百万円前後でない fact13: 仮にこの心理学科が百万円前後ならあの男女比は断り難い fact14: もし仮に何かは一部上場企業であるとすると「絡むということはないし更にそれはホームドクターでない」ということは誤りだ fact15: もし仮に「なにがしかのものは放冷しない」ということは事実だとすると一部上場企業であるし断り難い fact16: この心理学科は百万円前後でなくて加えて断り難くない fact17: あの男女比は一部上場企業である fact18: もし「「あの男女比は投宿するけれど田地証文でない」ということは間違いだ」ということは偽でないとしたらこの心理学科は投宿する fact19: 「あの男女比は一部上場企業であるがしかし断り難くない」ということは真実である
void -> assump1: 以下のように仮定する。「この心理学科は合併し易くないしさらに百万円前後でない」ということは事実と異なる; fact2 & assump1 -> int1: あの男女比は断り難い; fact19 -> int2: あの男女比は断り難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この心理学科は合併し易くないし百万円前後でない; int4 -> hypothesis;
「その各文字は絡まないしさらにホームドクターでない」ということは事実と異なる
fact21 -> int5: もしもその各文字は一部上場企業だとすれば「絡まなくてホームドクターでない」ということは誤りだ; fact23 -> int6: もしもその各文字が放冷しないなら一部上場企業であるし断り難い;
$facts$ = fact1: この心理学科は百万円前後でない fact2: もし仮に「この心理学科は合併し易くないしその上百万円前後でない」ということは誤っているならばあの男女比は断り難い fact3: この完全勃起は打ち勝つ一方で合併し易くない fact4: 「「この心理学科は合併し易くないけれど百万円前後である」ということは成り立つ」ということは事実と異なる fact5: 「あの男女比は一部上場企業であるが百万円前後でない」ということは正しい fact6: もし仮にこの心理学科が投宿するとするとその各文字は約三万人だが放冷しない fact7: 仮に「このテラは御貸し下さらない」ということは嘘でないならこの蝮目はかっ飛ばすしまた射出す fact8: あの男女比が合併し易いということはないならばこの心理学科は合併し易い fact9: 「あの男女比は合併し易くないしまた一部上場企業でない」ということは間違いである fact10: 「この心理学科は一部上場企業でないし加えて合併し易くない」ということは間違っている fact11: 「この蝮目は射出す」ということは成り立つとすれば「あの男女比は投宿する一方で田地証文でない」ということは成り立たない fact12: この心理学科が断り難くないしさらに百万円前後でない fact13: 仮にこの心理学科が百万円前後ならあの男女比は断り難い fact14: もし仮に何かは一部上場企業であるとすると「絡むということはないし更にそれはホームドクターでない」ということは誤りだ fact15: もし仮に「なにがしかのものは放冷しない」ということは事実だとすると一部上場企業であるし断り難い fact16: この心理学科は百万円前後でなくて加えて断り難くない fact17: あの男女比は一部上場企業である fact18: もし「「あの男女比は投宿するけれど田地証文でない」ということは間違いだ」ということは偽でないとしたらこの心理学科は投宿する fact19: 「あの男女比は一部上場企業であるがしかし断り難くない」ということは真実である ; $hypothesis$ = 「この心理学科は合併し易くない」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この心理学科は合併し易くないしさらに百万円前後でない」ということは事実と異なる; fact2 & assump1 -> int1: あの男女比は断り難い; fact19 -> int2: あの男女比は断り難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この心理学科は合併し易くないし百万円前後でない; int4 -> hypothesis; __PROVED__
事実1: この心理学科は百万円前後でない
事実2: もし仮に「この心理学科は合併し易くないしその上百万円前後でない」ということは誤っているならばあの男女比は断り難い
事実3: この完全勃起は打ち勝つ一方で合併し易くない
事実4: 「「この心理学科は合併し易くないけれど百万円前後である」ということは成り立つ」ということは事実と異なる
事実5: 「あの男女比は一部上場企業であるが百万円前後でない」ということは正しい
事実6: もし仮にこの心理学科が投宿するとするとその各文字は約三万人だが放冷しない
事実7: 仮に「このテラは御貸し下さらない」ということは嘘でないならこの蝮目はかっ飛ばすしまた射出す
事実8: あの男女比が合併し易いということはないならばこの心理学科は合併し易い
事実9: 「あの男女比は合併し易くないしまた一部上場企業でない」ということは間違いである
事実10: 「この心理学科は一部上場企業でないし加えて合併し易くない」ということは間違っている
事実11: 「この蝮目は射出す」ということは成り立つとすれば「あの男女比は投宿する一方で田地証文でない」ということは成り立たない
事実12: この心理学科が断り難くないしさらに百万円前後でない
事実13: 仮にこの心理学科が百万円前後ならあの男女比は断り難い
事実14: もし仮に何かは一部上場企業であるとすると「絡むということはないし更にそれはホームドクターでない」ということは誤りだ
事実15: もし仮に「なにがしかのものは放冷しない」ということは事実だとすると一部上場企業であるし断り難い
事実16: この心理学科は百万円前後でなくて加えて断り難くない
事実17: あの男女比は一部上場企業である
事実18: もし「「あの男女比は投宿するけれど田地証文でない」ということは間違いだ」ということは偽でないとしたらこの心理学科は投宿する
事実19: 「あの男女比は一部上場企業であるがしかし断り難くない」ということは真実である

仮説: 「この心理学科は合併し易くない」ということは真実だ
1. 仮定1: 以下のように仮定する。「この心理学科は合併し易くないしさらに百万円前後でない」ということは事実と異なる
2. 事実2と仮定1から、推論1: "あの男女比は断り難い"が導かれる
3. 事実19から、推論2: "あの男女比は断り難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この心理学科は合併し易くないし百万円前後でない"が導かれる
6. 推論4から、仮説が導かれる

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