あの動物語は転び易くない
fact1: もしも「なんらかのものは転び易くないがしかしフライドである」ということは間違いであるとすると「それは転び易い」ということは真実だ fact2: あの動物語がインデントでないけど引き易いとするとこの応接セットは益無しない fact3: 転び易くないものは植え込まないなら「フライドでない」ということは成り立つ fact4: もしもこの応接セットが管理権限でないならあの油彩画は転び易くないしさらに植え込まない fact5: 「その創作和食は転び易くない」ということは事実だ fact6: 「この応接セットは益無しないかあるいは捕らえ難くないかあるいは両方だ」ということは確かだということはないなら管理権限でない fact7: もしこの応接セットがフライドであるということはないとするとあの動物語は転び易くない fact8: もしあの動物語が攻略しないとすればそれはインデントでないが引き易い fact9: もしなにかは自己評価しないならば「捕らえ難いしまた焼損する」ということは真実だ fact10: あの動物語は攻略しない fact11: 仮に益無しない物が捕らえ難いとすれば管理権限でない fact12: もし何らかのものは管理権限でないとするとそれは転び易いしかつ植え込む fact13: この応接セットはフライドでない
fact7 & fact13 -> hypothesis;
fact7 & fact13 -> hypothesis;
「あの動物語は転び易い」ということは成り立つ
fact14 -> int1: 「あの動物語は転び易くないがしかしフライドである」ということは誤っているなら転び易い; fact16 -> int2: もし仮にこの応接セットは管理権限でないとするとそれは転び易いしまた植え込む;
$facts$ = fact1: もしも「なんらかのものは転び易くないがしかしフライドである」ということは間違いであるとすると「それは転び易い」ということは真実だ fact2: あの動物語がインデントでないけど引き易いとするとこの応接セットは益無しない fact3: 転び易くないものは植え込まないなら「フライドでない」ということは成り立つ fact4: もしもこの応接セットが管理権限でないならあの油彩画は転び易くないしさらに植え込まない fact5: 「その創作和食は転び易くない」ということは事実だ fact6: 「この応接セットは益無しないかあるいは捕らえ難くないかあるいは両方だ」ということは確かだということはないなら管理権限でない fact7: もしこの応接セットがフライドであるということはないとするとあの動物語は転び易くない fact8: もしあの動物語が攻略しないとすればそれはインデントでないが引き易い fact9: もしなにかは自己評価しないならば「捕らえ難いしまた焼損する」ということは真実だ fact10: あの動物語は攻略しない fact11: 仮に益無しない物が捕らえ難いとすれば管理権限でない fact12: もし何らかのものは管理権限でないとするとそれは転び易いしかつ植え込む fact13: この応接セットはフライドでない ; $hypothesis$ = あの動物語は転び易くない ; $proof$ = 
fact7 & fact13 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは転び易くないがしかしフライドである」ということは間違いであるとすると「それは転び易い」ということは真実だ
事実2: あの動物語がインデントでないけど引き易いとするとこの応接セットは益無しない
事実3: 転び易くないものは植え込まないなら「フライドでない」ということは成り立つ
事実4: もしもこの応接セットが管理権限でないならあの油彩画は転び易くないしさらに植え込まない
事実5: 「その創作和食は転び易くない」ということは事実だ
事実6: 「この応接セットは益無しないかあるいは捕らえ難くないかあるいは両方だ」ということは確かだということはないなら管理権限でない
事実7: もしこの応接セットがフライドであるということはないとするとあの動物語は転び易くない
事実8: もしあの動物語が攻略しないとすればそれはインデントでないが引き易い
事実9: もしなにかは自己評価しないならば「捕らえ難いしまた焼損する」ということは真実だ
事実10: あの動物語は攻略しない
事実11: 仮に益無しない物が捕らえ難いとすれば管理権限でない
事実12: もし何らかのものは管理権限でないとするとそれは転び易いしかつ植え込む
事実13: この応接セットはフライドでない

仮説: あの動物語は転び易くない
1. 事実7と事実13から、仮説が導かれる

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