この動作は柔いしＰＥＭだ
fact1: なにかは上位人気馬でないならば柔いしそれはＰＥＭだ fact2: もしとあるものが揮発し易いとするとそれは上位人気馬だ一方で自治体警察でない fact3: この二百九例は揮発し易い fact4: 仮にこの二百九例は切なくないならば「「この動作は柔いしおまけにＰＥＭである」ということは偽である」ということは事実である fact5: 仮に何かは切なくないとするとそれは自治体警察でないし上位人気馬でない fact6: 「あるものは生まれ易いけど唐子でない」ということは成り立たないとしたら生まれ易くない fact7: この動作は切なくないが生まれ易い fact8: 仮にそのＨＯＰが安売りだとすると唐子だ fact9: もしもなんらかの物が自治体警察でないしさらにそれが生まれ易いということはないならばそれは切なくない fact10: あるものがＰＥＭでないとすると生まれ易くないしさらに自治体警察でない fact11: そのＨＯＰは安売りだ fact12: あの数年毎が生まれ易くないならこの二百九例は生まれ易くない
fact7 -> int1: この動作は切なくない; fact5 -> int2: もし仮にこの動作が切なくないならばそれは自治体警察でないしそれは上位人気馬でない; int1 & int2 -> int3: この動作は自治体警察であるということはないしそれは上位人気馬でない; int3 -> int4: この動作は上位人気馬でない; fact1 -> int5: もしこの動作が上位人気馬でないとすれば柔いしＰＥＭだ; int4 & int5 -> hypothesis;
「「この動作は柔いし加えてそれはＰＥＭである」ということは偽だ」ということは確かである
fact19 -> int6: もしこの二百九例が自治体警察でなくてそれが生まれ易くないならそれは切ないということはない; fact15 -> int7: 仮に「この二百九例は揮発し易い」ということは成り立てばそれは上位人気馬であるしさらにそれは自治体警察でない; int7 & fact20 -> int8: この二百九例は上位人気馬だがしかし自治体警察でない; int8 -> int9: 「この二百九例は自治体警察でない」ということは成り立つ; fact14 -> int10: もしも「あの数年毎は生まれ易いが唐子だということはない」ということは事実と異なるとしたら「生まれ易くない」ということは本当である; fact16 & fact13 -> int11: そのＨＯＰは唐子だ; int11 -> int12: 「唐子である」物はある;
$facts$ = fact1: なにかは上位人気馬でないならば柔いしそれはＰＥＭだ fact2: もしとあるものが揮発し易いとするとそれは上位人気馬だ一方で自治体警察でない fact3: この二百九例は揮発し易い fact4: 仮にこの二百九例は切なくないならば「「この動作は柔いしおまけにＰＥＭである」ということは偽である」ということは事実である fact5: 仮に何かは切なくないとするとそれは自治体警察でないし上位人気馬でない fact6: 「あるものは生まれ易いけど唐子でない」ということは成り立たないとしたら生まれ易くない fact7: この動作は切なくないが生まれ易い fact8: 仮にそのＨＯＰが安売りだとすると唐子だ fact9: もしもなんらかの物が自治体警察でないしさらにそれが生まれ易いということはないならばそれは切なくない fact10: あるものがＰＥＭでないとすると生まれ易くないしさらに自治体警察でない fact11: そのＨＯＰは安売りだ fact12: あの数年毎が生まれ易くないならこの二百九例は生まれ易くない ; $hypothesis$ = この動作は柔いしＰＥＭだ ; $proof$ = 
fact7 -> int1: この動作は切なくない; fact5 -> int2: もし仮にこの動作が切なくないならばそれは自治体警察でないしそれは上位人気馬でない; int1 & int2 -> int3: この動作は自治体警察であるということはないしそれは上位人気馬でない; int3 -> int4: この動作は上位人気馬でない; fact1 -> int5: もしこの動作が上位人気馬でないとすれば柔いしＰＥＭだ; int4 & int5 -> hypothesis; __PROVED__
事実1: なにかは上位人気馬でないならば柔いしそれはＰＥＭだ
事実2: もしとあるものが揮発し易いとするとそれは上位人気馬だ一方で自治体警察でない
事実3: この二百九例は揮発し易い
事実4: 仮にこの二百九例は切なくないならば「「この動作は柔いしおまけにＰＥＭである」ということは偽である」ということは事実である
事実5: 仮に何かは切なくないとするとそれは自治体警察でないし上位人気馬でない
事実6: 「あるものは生まれ易いけど唐子でない」ということは成り立たないとしたら生まれ易くない
事実7: この動作は切なくないが生まれ易い
事実8: 仮にそのＨＯＰが安売りだとすると唐子だ
事実9: もしもなんらかの物が自治体警察でないしさらにそれが生まれ易いということはないならばそれは切なくない
事実10: あるものがＰＥＭでないとすると生まれ易くないしさらに自治体警察でない
事実11: そのＨＯＰは安売りだ
事実12: あの数年毎が生まれ易くないならこの二百九例は生まれ易くない

仮説: この動作は柔いしＰＥＭだ
1. 事実7から、推論1: "この動作は切なくない"が導かれる
2. 事実5から、推論2: "もし仮にこの動作が切なくないならばそれは自治体警察でないしそれは上位人気馬でない"が導かれる
3. 推論1と推論2から、推論3: "この動作は自治体警察であるということはないしそれは上位人気馬でない"が導かれる
4. 推論3から、推論4: "この動作は上位人気馬でない"が導かれる
5. 事実1から、推論5: "もしこの動作が上位人気馬でないとすれば柔いしＰＥＭだ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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