「この家族数は月状骨だけれど究明すらない」ということは偽である
fact1: 仮にこの家族数が舞えるということはなくてしかも把握し易くないとしたらこの見込み違いは把握し易い fact2: 「あの精神衛生法は良識であるけれど究明すらない」ということは成り立たない fact3: 「「この家族数は書き難いがしかし顰めない」ということは真実である」ということは誤りだ fact4: 「この再生産論は間違え易いがしかし月状骨でない」ということは成り立たない fact5: もし仮に「何らかの物は把握し易くないが薄い」ということは間違っているとすればそれは把握し易い fact6: 把握し易い物は月状骨だがしかし究明すということはない fact7: 仮になにがしかのものは把握し易いとすると「それは新しがしかし月状骨でない」ということは成り立たない fact8: 「この家族数は発憤するけれど辞去するということはない」ということは成り立たない fact9: 「この家族数はインスパイアするがしかしそれは月状骨でない」ということは確かでない fact10: 「この家族数は月状骨でまた究明す」ということは成り立たない fact11: 「この家族数は月状骨だ一方でそれは究明すらない」ということは間違っている
fact11 -> hypothesis;
fact11 -> hypothesis;
「この見込み違いは新しけれど月状骨でない」ということは確かでない
fact13 -> int1: もしこの見込み違いは把握し易いとしたら「新ししさらにそれは月状骨でない」ということは間違いだ;
$facts$ = fact1: 仮にこの家族数が舞えるということはなくてしかも把握し易くないとしたらこの見込み違いは把握し易い fact2: 「あの精神衛生法は良識であるけれど究明すらない」ということは成り立たない fact3: 「「この家族数は書き難いがしかし顰めない」ということは真実である」ということは誤りだ fact4: 「この再生産論は間違え易いがしかし月状骨でない」ということは成り立たない fact5: もし仮に「何らかの物は把握し易くないが薄い」ということは間違っているとすればそれは把握し易い fact6: 把握し易い物は月状骨だがしかし究明すということはない fact7: 仮になにがしかのものは把握し易いとすると「それは新しがしかし月状骨でない」ということは成り立たない fact8: 「この家族数は発憤するけれど辞去するということはない」ということは成り立たない fact9: 「この家族数はインスパイアするがしかしそれは月状骨でない」ということは確かでない fact10: 「この家族数は月状骨でまた究明す」ということは成り立たない fact11: 「この家族数は月状骨だ一方でそれは究明すらない」ということは間違っている ; $hypothesis$ = 「この家族数は月状骨だけれど究明すらない」ということは偽である ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 仮にこの家族数が舞えるということはなくてしかも把握し易くないとしたらこの見込み違いは把握し易い
事実2: 「あの精神衛生法は良識であるけれど究明すらない」ということは成り立たない
事実3: 「「この家族数は書き難いがしかし顰めない」ということは真実である」ということは誤りだ
事実4: 「この再生産論は間違え易いがしかし月状骨でない」ということは成り立たない
事実5: もし仮に「何らかの物は把握し易くないが薄い」ということは間違っているとすればそれは把握し易い
事実6: 把握し易い物は月状骨だがしかし究明すということはない
事実7: 仮になにがしかのものは把握し易いとすると「それは新しがしかし月状骨でない」ということは成り立たない
事実8: 「この家族数は発憤するけれど辞去するということはない」ということは成り立たない
事実9: 「この家族数はインスパイアするがしかしそれは月状骨でない」ということは確かでない
事実10: 「この家族数は月状骨でまた究明す」ということは成り立たない
事実11: 「この家族数は月状骨だ一方でそれは究明すらない」ということは間違っている

仮説: 「この家族数は月状骨だけれど究明すらない」ということは偽である
1. 事実11から、仮説が導かれる

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