この兄弟猫は揺るぎない
fact1: この兄弟猫はみっとも可愛い fact2: あらゆるものは胴上げするしそれは厳いということはない fact3: 「この兄弟猫は揺るぎない」ということは真実である fact4: 「なにかは騒ぎ立てなくて育て易くない」ということは誤りであるなら育て易い fact5: 仮にある物は厳いということはないとしたら「それは騒ぎ立てなくて育て易いということはない」ということは事実と異なる fact6: 仮にあの上表参照は厳いということはないとすれば「このクリエイティビティは育て易いしそれは騒ぎ立てる」ということは正しい fact7: このショートブレッドは揺るぎない fact8: もしこのクリエイティビティが敢え無いとするとこの兄弟猫はうら若しないし揺るぎなくない
fact3 -> hypothesis;
fact3 -> hypothesis;
あの焼き菓子は揺るぎない
fact10 -> int1: もし「この兄弟猫は騒ぎ立てるということはないしまたそれは育て易くない」ということは成り立たないとすると「それは育て易い」ということは事実である; fact11 -> int2: あの上表参照は胴上げするけど厳くない; int2 -> int3: あの上表参照は厳くない; int3 -> int4: すべての物は厳くない; int4 -> int5: このクリエイティビティは厳くない; fact9 -> int6: 仮にこのクリエイティビティは厳くないならば「それは騒ぎ立てなくて更に育て易くない」ということは間違っている; int5 & int6 -> int7: 「このクリエイティビティは騒ぎ立てないし育て易いということはない」ということは偽だ; int7 -> int8: それは騒ぎ立てなくてその上育て易くないというものはない; int8 -> int9: 「この兄弟猫は騒ぎ立てなくておまけにそれは育て易いということはない」ということは成り立たない; int1 & int9 -> int10: この兄弟猫は育て易い; int10 -> int11: なんらかの物は育て易い;
$facts$ = fact1: この兄弟猫はみっとも可愛い fact2: あらゆるものは胴上げするしそれは厳いということはない fact3: 「この兄弟猫は揺るぎない」ということは真実である fact4: 「なにかは騒ぎ立てなくて育て易くない」ということは誤りであるなら育て易い fact5: 仮にある物は厳いということはないとしたら「それは騒ぎ立てなくて育て易いということはない」ということは事実と異なる fact6: 仮にあの上表参照は厳いということはないとすれば「このクリエイティビティは育て易いしそれは騒ぎ立てる」ということは正しい fact7: このショートブレッドは揺るぎない fact8: もしこのクリエイティビティが敢え無いとするとこの兄弟猫はうら若しないし揺るぎなくない ; $hypothesis$ = この兄弟猫は揺るぎない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この兄弟猫はみっとも可愛い
事実2: あらゆるものは胴上げするしそれは厳いということはない
事実3: 「この兄弟猫は揺るぎない」ということは真実である
事実4: 「なにかは騒ぎ立てなくて育て易くない」ということは誤りであるなら育て易い
事実5: 仮にある物は厳いということはないとしたら「それは騒ぎ立てなくて育て易いということはない」ということは事実と異なる
事実6: 仮にあの上表参照は厳いということはないとすれば「このクリエイティビティは育て易いしそれは騒ぎ立てる」ということは正しい
事実7: このショートブレッドは揺るぎない
事実8: もしこのクリエイティビティが敢え無いとするとこの兄弟猫はうら若しないし揺るぎなくない

仮説: この兄弟猫は揺るぎない
1. 事実3から、仮説が導かれる

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