「そのレイアウトプロパティは拒み続けるということはないか黒っぽくないかあるいは両方ともだ」ということは成り立たない
fact1: 「あの盛り合わせは馴染み易いということはないが行い始める」ということは誤りである fact2: その春日杯は切り難い fact3: もしなにがしかの物は薄汚くないとすると「パーソナリティ特性推論だがしかし見窄らしくない」ということは嘘である fact4: もしも「あの盛り合わせは馴染み易いということはないがしかし行い始める」ということは成り立たないとしたらそれは馴染み易い fact5: 「なにかはパーソナリティ特性推論であるが見窄らしくない」ということは嘘なら「見窄らしい」ということは間違っていない fact6: もし何らかの物が見窄らしいとすると偏り易くない fact7: そのレイアウトプロパティは切り難い fact8: 「そのレイアウトプロパティは切り難いということはないかあるいはそれは黒っぽくない」ということは成り立つということはない fact9: なにかは偏り易くないとすれば「「汚れ易いしおまけに乾き易くない」ということは真実だ」ということは嘘だ fact10: 「その春日杯はバークレー・ハウスでないかあるいは発揮し易くない」ということは成り立たない fact11: 仮にあの盛り合わせは薄汚くないかもしくは情け深いかどちらもであるならそれは薄汚いということはない fact12: もしそのレイアウトプロパティが乾き易いとするとその春日杯は移り難くないけどそれはインスピレーションだ fact13: もし仮にあの盛り合わせが馴染み易いならば薄汚くないかあるいはそれは情け深い fact14: 「そのレイアウトプロパティは共同処理しないかまたは苛々し易くないかもしくはどちらもだ」ということは成り立つということはない fact15: そのレイアウトプロパティが切り難いとするとその春日杯は拒み続ける fact16: もしもその春日杯は切り難いとしたら「「そのレイアウトプロパティは拒み続けないか黒っぽくないかまたは両方だ」ということは本当だ」ということは真実だということはない fact17: 切り難くない物は拒み続けるということはないか黒っぽいということはないかもしくはどちらもである fact18: この公的負担は切り難い fact19: このママ達は切り難い fact20: もしそのレイアウトプロパティは拒み続ければ「その春日杯は切り難くないかもしくは黒っぽいということはないか両方である」ということは成り立たない fact21: なにがしかのものは移り難いということはないならば「インスピレーションだけど切り難くない」ということは誤りである fact22: もし何かは切り難いとすれば「それは租税でないかあるいは札幌オリンピックでないか両方だ」ということは成り立たない
fact16 & fact2 -> hypothesis;
fact16 & fact2 -> hypothesis;
「あの会報等は租税でないかまたは札幌オリンピックでないか両方ともだ」ということは成り立たない
fact23 -> int1: 「もしあの会報等は切り難いなら「「あの会報等は租税でないかあるいはそれは札幌オリンピックでないか両方である」ということは誤っている」ということは本当だ」ということは確かである;
$facts$ = fact1: 「あの盛り合わせは馴染み易いということはないが行い始める」ということは誤りである fact2: その春日杯は切り難い fact3: もしなにがしかの物は薄汚くないとすると「パーソナリティ特性推論だがしかし見窄らしくない」ということは嘘である fact4: もしも「あの盛り合わせは馴染み易いということはないがしかし行い始める」ということは成り立たないとしたらそれは馴染み易い fact5: 「なにかはパーソナリティ特性推論であるが見窄らしくない」ということは嘘なら「見窄らしい」ということは間違っていない fact6: もし何らかの物が見窄らしいとすると偏り易くない fact7: そのレイアウトプロパティは切り難い fact8: 「そのレイアウトプロパティは切り難いということはないかあるいはそれは黒っぽくない」ということは成り立つということはない fact9: なにかは偏り易くないとすれば「「汚れ易いしおまけに乾き易くない」ということは真実だ」ということは嘘だ fact10: 「その春日杯はバークレー・ハウスでないかあるいは発揮し易くない」ということは成り立たない fact11: 仮にあの盛り合わせは薄汚くないかもしくは情け深いかどちらもであるならそれは薄汚いということはない fact12: もしそのレイアウトプロパティが乾き易いとするとその春日杯は移り難くないけどそれはインスピレーションだ fact13: もし仮にあの盛り合わせが馴染み易いならば薄汚くないかあるいはそれは情け深い fact14: 「そのレイアウトプロパティは共同処理しないかまたは苛々し易くないかもしくはどちらもだ」ということは成り立つということはない fact15: そのレイアウトプロパティが切り難いとするとその春日杯は拒み続ける fact16: もしもその春日杯は切り難いとしたら「「そのレイアウトプロパティは拒み続けないか黒っぽくないかまたは両方だ」ということは本当だ」ということは真実だということはない fact17: 切り難くない物は拒み続けるということはないか黒っぽいということはないかもしくはどちらもである fact18: この公的負担は切り難い fact19: このママ達は切り難い fact20: もしそのレイアウトプロパティは拒み続ければ「その春日杯は切り難くないかもしくは黒っぽいということはないか両方である」ということは成り立たない fact21: なにがしかのものは移り難いということはないならば「インスピレーションだけど切り難くない」ということは誤りである fact22: もし何かは切り難いとすれば「それは租税でないかあるいは札幌オリンピックでないか両方だ」ということは成り立たない ; $hypothesis$ = 「そのレイアウトプロパティは拒み続けるということはないか黒っぽくないかあるいは両方ともだ」ということは成り立たない ; $proof$ = 
fact16 & fact2 -> hypothesis; __PROVED__
事実1: 「あの盛り合わせは馴染み易いということはないが行い始める」ということは誤りである
事実2: その春日杯は切り難い
事実3: もしなにがしかの物は薄汚くないとすると「パーソナリティ特性推論だがしかし見窄らしくない」ということは嘘である
事実4: もしも「あの盛り合わせは馴染み易いということはないがしかし行い始める」ということは成り立たないとしたらそれは馴染み易い
事実5: 「なにかはパーソナリティ特性推論であるが見窄らしくない」ということは嘘なら「見窄らしい」ということは間違っていない
事実6: もし何らかの物が見窄らしいとすると偏り易くない
事実7: そのレイアウトプロパティは切り難い
事実8: 「そのレイアウトプロパティは切り難いということはないかあるいはそれは黒っぽくない」ということは成り立つということはない
事実9: なにかは偏り易くないとすれば「「汚れ易いしおまけに乾き易くない」ということは真実だ」ということは嘘だ
事実10: 「その春日杯はバークレー・ハウスでないかあるいは発揮し易くない」ということは成り立たない
事実11: 仮にあの盛り合わせは薄汚くないかもしくは情け深いかどちらもであるならそれは薄汚いということはない
事実12: もしそのレイアウトプロパティが乾き易いとするとその春日杯は移り難くないけどそれはインスピレーションだ
事実13: もし仮にあの盛り合わせが馴染み易いならば薄汚くないかあるいはそれは情け深い
事実14: 「そのレイアウトプロパティは共同処理しないかまたは苛々し易くないかもしくはどちらもだ」ということは成り立つということはない
事実15: そのレイアウトプロパティが切り難いとするとその春日杯は拒み続ける
事実16: もしもその春日杯は切り難いとしたら「「そのレイアウトプロパティは拒み続けないか黒っぽくないかまたは両方だ」ということは本当だ」ということは真実だということはない
事実17: 切り難くない物は拒み続けるということはないか黒っぽいということはないかもしくはどちらもである
事実18: この公的負担は切り難い
事実19: このママ達は切り難い
事実20: もしそのレイアウトプロパティは拒み続ければ「その春日杯は切り難くないかもしくは黒っぽいということはないか両方である」ということは成り立たない
事実21: なにがしかのものは移り難いということはないならば「インスピレーションだけど切り難くない」ということは誤りである
事実22: もし何かは切り難いとすれば「それは租税でないかあるいは札幌オリンピックでないか両方だ」ということは成り立たない

仮説: 「そのレイアウトプロパティは拒み続けるということはないか黒っぽくないかあるいは両方ともだ」ということは成り立たない
1. 事実16と事実2から、仮説が導かれる

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