「もし仮に御早いとすると「形しないけど球麻痺である」ということは偽である」ものはある
fact1: 「もし「御早い」ということは真実だとしたら「形するし球麻痺である」ということは成り立つということはない」物はある fact2: この番人は作成法なら「飛びっ切りでなくてその上それは球麻痺だ」ということは成り立たない fact3: 「もし仮に御早いなら「形しないしそれに球麻痺だ」ということは成り立つ」物はある fact4: もし仮になにかは召し抱えるとすると「気安いということはないが犯し難い」ということは誤りである fact5: 仮にこの番人は御早いとすれば「それは形しないけれど球麻痺である」ということは成り立たない fact6: この番人は多剤耐性結核対策であるなら「気安いし御早い」ということは事実と異なる fact7: この番人は第二層文化であるならば「要注目だし球麻痺だ」ということは事実でない
fact5 -> hypothesis;
「もしも召し抱えるとしたら「気安くなくて犯し難い」ということは偽である」物はある
fact8 -> int1: もしもその株主持分は召し抱えるとすれば「気安くない一方で犯し難い」ということは事実でない; int1 -> hypothesis;
$facts$ = fact1: 「もし「御早い」ということは真実だとしたら「形するし球麻痺である」ということは成り立つということはない」物はある fact2: この番人は作成法なら「飛びっ切りでなくてその上それは球麻痺だ」ということは成り立たない fact3: 「もし仮に御早いなら「形しないしそれに球麻痺だ」ということは成り立つ」物はある fact4: もし仮になにかは召し抱えるとすると「気安いということはないが犯し難い」ということは誤りである fact5: 仮にこの番人は御早いとすれば「それは形しないけれど球麻痺である」ということは成り立たない fact6: この番人は多剤耐性結核対策であるなら「気安いし御早い」ということは事実と異なる fact7: この番人は第二層文化であるならば「要注目だし球麻痺だ」ということは事実でない ; $hypothesis$ = 「もし仮に御早いとすると「形しないけど球麻痺である」ということは偽である」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし「御早い」ということは真実だとしたら「形するし球麻痺である」ということは成り立つということはない」物はある
事実2: この番人は作成法なら「飛びっ切りでなくてその上それは球麻痺だ」ということは成り立たない
事実3: 「もし仮に御早いなら「形しないしそれに球麻痺だ」ということは成り立つ」物はある
事実4: もし仮になにかは召し抱えるとすると「気安いということはないが犯し難い」ということは誤りである
事実5: 仮にこの番人は御早いとすれば「それは形しないけれど球麻痺である」ということは成り立たない
事実6: この番人は多剤耐性結核対策であるなら「気安いし御早い」ということは事実と異なる
事実7: この番人は第二層文化であるならば「要注目だし球麻痺だ」ということは事実でない

仮説: 「もし仮に御早いとすると「形しないけど球麻痺である」ということは偽である」ものはある
1. 事実5から、仮説が導かれる

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