「このディスカス達は数学教授でなくて馴染み難くない」ということは嘘だ
fact1: 親しくないものは数学教授でなくて加えて馴染み難くない fact2: 「「このディスカス達は数学教授だがしかし馴染み難いということはない」ということは成り立たない」ということは真実だ fact3: 「親しくない」物はある fact4: 「このディスカス達は半幅帯でないし加えてそれは技術革新でない」ということは誤りである fact5: もしもとある物は親しくないとしたら「このディスカス達は数学教授でないがそれは馴染み難い」ということは本当でない fact6: もし「親しくない」ものはあるなら「「このディスカス達は数学教授だ一方で馴染み難くない」ということは成り立つ」ということは事実と異なる fact7: 仮に親しくない物はあるなら「「このディスカス達は数学教授でなくて馴染み難くない」ということは事実である」ということは偽だ fact8: 「この五十音順は取り掛かり易くないけれど親しい」ということは間違っている fact9: もし仮になにがしかのものが勇ましいならそれは複数用意する fact10: もしもなにかは複数用意すれば親しくないかまたは取り捌くかまたは両方ともだ fact11: 「このディスカス達は組織化しないけどプロらしい」ということは成り立つということはない fact12: 「全ての物は勇ましい」ということは成り立つ fact13: 「このディスカス達はシビックでなくてしかもそれは馴染み難くない」ということは嘘だ
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
このディスカス達は数学教授でなくてまたそれは馴染み難くない
fact16 -> int1: もしもその低分化型が親しいということはないならば数学教授でないしそれは馴染み難くない; fact14 -> int2: その低分化型が複数用意するなら親しくないかもしくは取り捌くか両方だ; fact17 -> int3: その低分化型は勇ましい; fact15 -> int4: もしその低分化型が勇ましいならそれは複数用意する; int3 & int4 -> int5: その低分化型は複数用意する; int2 & int5 -> int6: その低分化型は親しいということはないかもしくは取り捌く;
$facts$ = fact1: 親しくないものは数学教授でなくて加えて馴染み難くない fact2: 「「このディスカス達は数学教授だがしかし馴染み難いということはない」ということは成り立たない」ということは真実だ fact3: 「親しくない」物はある fact4: 「このディスカス達は半幅帯でないし加えてそれは技術革新でない」ということは誤りである fact5: もしもとある物は親しくないとしたら「このディスカス達は数学教授でないがそれは馴染み難い」ということは本当でない fact6: もし「親しくない」ものはあるなら「「このディスカス達は数学教授だ一方で馴染み難くない」ということは成り立つ」ということは事実と異なる fact7: 仮に親しくない物はあるなら「「このディスカス達は数学教授でなくて馴染み難くない」ということは事実である」ということは偽だ fact8: 「この五十音順は取り掛かり易くないけれど親しい」ということは間違っている fact9: もし仮になにがしかのものが勇ましいならそれは複数用意する fact10: もしもなにかは複数用意すれば親しくないかまたは取り捌くかまたは両方ともだ fact11: 「このディスカス達は組織化しないけどプロらしい」ということは成り立つということはない fact12: 「全ての物は勇ましい」ということは成り立つ fact13: 「このディスカス達はシビックでなくてしかもそれは馴染み難くない」ということは嘘だ ; $hypothesis$ = 「このディスカス達は数学教授でなくて馴染み難くない」ということは嘘だ ; $proof$ = 
fact3 & fact7 -> hypothesis; __PROVED__
事実1: 親しくないものは数学教授でなくて加えて馴染み難くない
事実2: 「「このディスカス達は数学教授だがしかし馴染み難いということはない」ということは成り立たない」ということは真実だ
事実3: 「親しくない」物はある
事実4: 「このディスカス達は半幅帯でないし加えてそれは技術革新でない」ということは誤りである
事実5: もしもとある物は親しくないとしたら「このディスカス達は数学教授でないがそれは馴染み難い」ということは本当でない
事実6: もし「親しくない」ものはあるなら「「このディスカス達は数学教授だ一方で馴染み難くない」ということは成り立つ」ということは事実と異なる
事実7: 仮に親しくない物はあるなら「「このディスカス達は数学教授でなくて馴染み難くない」ということは事実である」ということは偽だ
事実8: 「この五十音順は取り掛かり易くないけれど親しい」ということは間違っている
事実9: もし仮になにがしかのものが勇ましいならそれは複数用意する
事実10: もしもなにかは複数用意すれば親しくないかまたは取り捌くかまたは両方ともだ
事実11: 「このディスカス達は組織化しないけどプロらしい」ということは成り立つということはない
事実12: 「全ての物は勇ましい」ということは成り立つ
事実13: 「このディスカス達はシビックでなくてしかもそれは馴染み難くない」ということは嘘だ

仮説: 「このディスカス達は数学教授でなくて馴染み難くない」ということは嘘だ
1. 事実3と事実7から、仮説が導かれる

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