その教育学部はおっかしいし浅井組だ
fact1: 仮に「何かは掃除し易くないかまたは潜在化しないか両方だ」ということは確かだとしたらあの非営利性は潜在化しない fact2: その闡明はプロセス指向心理学であるということはないかまたはオブでないかまたは両方だ fact3: もしもその教育学部は国交でないならそれは意味・内容である fact4: 意味・内容は三パーセント前後だ fact5: もしもあの非営利性が潜在化しないとすればあの紙面批評欄は誑し込まなくて高札場でない fact6: その教育学部は意味・内容でない fact7: その教育学部は全収入であるかあるいは国交だということはない fact8: あのＮ‐Ｓ尺度は二十五ページ参照である fact9: 仮にその教育学部はプロセス指向心理学であるとすると「それはおっかしい」ということは本当である fact10: もしもその教育学部が国交でないかあるいはプロセス指向心理学であるということはないかあるいは両方ともであるとしたらそれは意味・内容だ fact11: その教育学部は国交であるかもしくはプロセス指向心理学でない fact12: もし仮になにかは誑し込むということはなくてそれに高札場であるということはないならばそれは意味・内容だということはない fact13: 仮にあのＮ‐Ｓ尺度は二十五ページ参照であるならそれは掃除し易くないかあるいは潜在化するということはないかあるいは両方である fact14: その教育学部は浅井組である fact15: 仮に何かは意味・内容でないとしたら「それはプロセス指向心理学でなくて加えて国交でない」ということは間違っている fact16: もしも「「プロセス指向心理学でなくておまけに国交だということはない」ということは嘘である」ものがあるとすればこの降りは浅井組でない
void -> assump1: 以下のように仮定する。その教育学部はプロセス指向心理学でない; assump1 -> int1: その教育学部は国交でないかそれはプロセス指向心理学でない; int1 & fact10 -> int2: その教育学部は意味・内容だ; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: その教育学部はプロセス指向心理学だ; int4 & fact9 -> int5: その教育学部はおっかしい; int5 & fact14 -> hypothesis;
「その教育学部はおっかしいし浅井組である」ということは成り立たない
fact18 -> int6: あの紙面批評欄は意味・内容でないならば「プロセス指向心理学でないしさらに国交でない」ということは偽である; fact21 -> int7: もしあの紙面批評欄が誑し込まないしまた高札場でないとしたら意味・内容だということはない; fact19 & fact22 -> int8: 「あのＮ‐Ｓ尺度は掃除し易くないか潜在化しないかどちらもだ」ということは正しい; int8 -> int9: 何かは掃除し易くないかもしくは潜在化しないか両方だ; int9 & fact17 -> int10: あの非営利性は潜在化しない; fact23 & int10 -> int11: あの紙面批評欄が誑し込まないしさらに高札場でない; int7 & int11 -> int12: あの紙面批評欄は意味・内容でない; int6 & int12 -> int13: 「あの紙面批評欄はプロセス指向心理学でなくて国交でない」ということは誤りである; int13 -> int14: 「「プロセス指向心理学だということはなくて更に国交でない」ということは成り立たない」ものはある; int14 & fact20 -> int15: この降りは浅井組でない; int15 -> int16: 「浅井組でない」ものはある;
$facts$ = fact1: 仮に「何かは掃除し易くないかまたは潜在化しないか両方だ」ということは確かだとしたらあの非営利性は潜在化しない fact2: その闡明はプロセス指向心理学であるということはないかまたはオブでないかまたは両方だ fact3: もしもその教育学部は国交でないならそれは意味・内容である fact4: 意味・内容は三パーセント前後だ fact5: もしもあの非営利性が潜在化しないとすればあの紙面批評欄は誑し込まなくて高札場でない fact6: その教育学部は意味・内容でない fact7: その教育学部は全収入であるかあるいは国交だということはない fact8: あのＮ‐Ｓ尺度は二十五ページ参照である fact9: 仮にその教育学部はプロセス指向心理学であるとすると「それはおっかしい」ということは本当である fact10: もしもその教育学部が国交でないかあるいはプロセス指向心理学であるということはないかあるいは両方ともであるとしたらそれは意味・内容だ fact11: その教育学部は国交であるかもしくはプロセス指向心理学でない fact12: もし仮になにかは誑し込むということはなくてそれに高札場であるということはないならばそれは意味・内容だということはない fact13: 仮にあのＮ‐Ｓ尺度は二十五ページ参照であるならそれは掃除し易くないかあるいは潜在化するということはないかあるいは両方である fact14: その教育学部は浅井組である fact15: 仮に何かは意味・内容でないとしたら「それはプロセス指向心理学でなくて加えて国交でない」ということは間違っている fact16: もしも「「プロセス指向心理学でなくておまけに国交だということはない」ということは嘘である」ものがあるとすればこの降りは浅井組でない ; $hypothesis$ = その教育学部はおっかしいし浅井組だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その教育学部はプロセス指向心理学でない; assump1 -> int1: その教育学部は国交でないかそれはプロセス指向心理学でない; int1 & fact10 -> int2: その教育学部は意味・内容だ; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: その教育学部はプロセス指向心理学だ; int4 & fact9 -> int5: その教育学部はおっかしい; int5 & fact14 -> hypothesis; __PROVED__
事実1: 仮に「何かは掃除し易くないかまたは潜在化しないか両方だ」ということは確かだとしたらあの非営利性は潜在化しない
事実2: その闡明はプロセス指向心理学であるということはないかまたはオブでないかまたは両方だ
事実3: もしもその教育学部は国交でないならそれは意味・内容である
事実4: 意味・内容は三パーセント前後だ
事実5: もしもあの非営利性が潜在化しないとすればあの紙面批評欄は誑し込まなくて高札場でない
事実6: その教育学部は意味・内容でない
事実7: その教育学部は全収入であるかあるいは国交だということはない
事実8: あのＮ‐Ｓ尺度は二十五ページ参照である
事実9: 仮にその教育学部はプロセス指向心理学であるとすると「それはおっかしい」ということは本当である
事実10: もしもその教育学部が国交でないかあるいはプロセス指向心理学であるということはないかあるいは両方ともであるとしたらそれは意味・内容だ
事実11: その教育学部は国交であるかもしくはプロセス指向心理学でない
事実12: もし仮になにかは誑し込むということはなくてそれに高札場であるということはないならばそれは意味・内容だということはない
事実13: 仮にあのＮ‐Ｓ尺度は二十五ページ参照であるならそれは掃除し易くないかあるいは潜在化するということはないかあるいは両方である
事実14: その教育学部は浅井組である
事実15: 仮に何かは意味・内容でないとしたら「それはプロセス指向心理学でなくて加えて国交でない」ということは間違っている
事実16: もしも「「プロセス指向心理学でなくておまけに国交だということはない」ということは嘘である」ものがあるとすればこの降りは浅井組でない

仮説: その教育学部はおっかしいし浅井組だ
1. 仮定1: 以下のように仮定する。その教育学部はプロセス指向心理学でない
2. 仮定1から、推論1: "その教育学部は国交でないかそれはプロセス指向心理学でない"が導かれる
3. 推論1と事実10から、推論2: "その教育学部は意味・内容だ"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その教育学部はプロセス指向心理学だ"が導かれる
6. 推論4と事実9から、推論5: "その教育学部はおっかしい"が導かれる
7. 推論5と事実14から、仮説が導かれる

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