「もしもしゃあ無くないししかもどたばたするということはないとすると侵入し易くない」物はある
fact1: もしあのヤッケがしゃあ無くなくて更にどたばたしないとすれば侵入し易いということはない fact2: もし「あのヤッケはしゃあ無いがどたばたしない」ということは真実ならば侵入し易くない fact3: 「もししゃあ無くないしその上どたばたするなら侵入し易いということはない」物はある fact4: もしもなにかは対数目盛りでないしその上真白くないとすると埋葬しない fact5: 仮にあのヤッケはしゃあ無くなくてかつどたばたしないとすれば「それは侵入し易い」ということは正しい fact6: 「あのガーディアン・レッドは立ち塞がらなくてその上遣り易いない」ということは成り立つとすればそれはリサイクルしない fact7: 仮にあのヤッケがしゃあ無いということはないけれどどたばたするとしたら侵入し易くない fact8: 「もし仮にしゃあ無いがどたばたしないとすれば侵入し易くない」ものはある fact9: 「常駐でないしさらに対数目盛りであるということはないとしたらし辛くない」ものはある fact10: 「「二ツイーターだということはなくてそれに覚え難くない」ということは成り立てば御周りさんでない」ものはある fact11: 「仮にしゃあ無くなくてどたばたしないとすると侵入し易い」物はある
fact1 -> hypothesis;
「もしも対数目盛りでないし真白くないとすれば「埋葬しない」ということは本当である」ものはある
fact12 -> int1: もしその側頭筋は対数目盛りでないしさらに真白くないなら埋葬しない; int1 -> hypothesis;
$facts$ = fact1: もしあのヤッケがしゃあ無くなくて更にどたばたしないとすれば侵入し易いということはない fact2: もし「あのヤッケはしゃあ無いがどたばたしない」ということは真実ならば侵入し易くない fact3: 「もししゃあ無くないしその上どたばたするなら侵入し易いということはない」物はある fact4: もしもなにかは対数目盛りでないしその上真白くないとすると埋葬しない fact5: 仮にあのヤッケはしゃあ無くなくてかつどたばたしないとすれば「それは侵入し易い」ということは正しい fact6: 「あのガーディアン・レッドは立ち塞がらなくてその上遣り易いない」ということは成り立つとすればそれはリサイクルしない fact7: 仮にあのヤッケがしゃあ無いということはないけれどどたばたするとしたら侵入し易くない fact8: 「もし仮にしゃあ無いがどたばたしないとすれば侵入し易くない」ものはある fact9: 「常駐でないしさらに対数目盛りであるということはないとしたらし辛くない」ものはある fact10: 「「二ツイーターだということはなくてそれに覚え難くない」ということは成り立てば御周りさんでない」ものはある fact11: 「仮にしゃあ無くなくてどたばたしないとすると侵入し易い」物はある ; $hypothesis$ = 「もしもしゃあ無くないししかもどたばたするということはないとすると侵入し易くない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしあのヤッケがしゃあ無くなくて更にどたばたしないとすれば侵入し易いということはない
事実2: もし「あのヤッケはしゃあ無いがどたばたしない」ということは真実ならば侵入し易くない
事実3: 「もししゃあ無くないしその上どたばたするなら侵入し易いということはない」物はある
事実4: もしもなにかは対数目盛りでないしその上真白くないとすると埋葬しない
事実5: 仮にあのヤッケはしゃあ無くなくてかつどたばたしないとすれば「それは侵入し易い」ということは正しい
事実6: 「あのガーディアン・レッドは立ち塞がらなくてその上遣り易いない」ということは成り立つとすればそれはリサイクルしない
事実7: 仮にあのヤッケがしゃあ無いということはないけれどどたばたするとしたら侵入し易くない
事実8: 「もし仮にしゃあ無いがどたばたしないとすれば侵入し易くない」ものはある
事実9: 「常駐でないしさらに対数目盛りであるということはないとしたらし辛くない」ものはある
事実10: 「「二ツイーターだということはなくてそれに覚え難くない」ということは成り立てば御周りさんでない」ものはある
事実11: 「仮にしゃあ無くなくてどたばたしないとすると侵入し易い」物はある

仮説: 「もしもしゃあ無くないししかもどたばたするということはないとすると侵入し易くない」物はある
1. 事実1から、仮説が導かれる

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