このイオン結合は付き易くない
fact1: 「「Ｓオーケーだしそれにキックする」ということは誤っている」ものはある fact2: この学びが付き易いとすればこのイオン結合はキックする fact3: 「Ｓオーケーだし加えてキックしない」ものはある fact4: この操演は快くない fact5: もし仮になにかはＳオーケーであるならば「見出だし難くてそれはロイヤルでない」ということは成り立たない fact6: 仮に「あるものは快いか受け入れ易いということはないか両方ともである」ということは真実でないとするとそれは厳しい fact7: 仮に「「Ｓオーケーだし加えてキックしない」ということは誤っている」ものがあればこのイオン結合は付き易い fact8: もしもこの学びは傍訓ならば「この操演は快いかあるいは受け入れ易くないかまたはどちらもだ」ということは成り立たない fact9: この操演は厳しいとすれば「このカード使用可はＳオーケーであるがキックしない」ということは成り立たない fact10: 「この学びは傍訓である」ということは事実と異ならない fact11: 仮に「Ｓオーケーでない」ものがあるならこのイオン結合は付き易い
fact6 -> int1: 「この操演は快いかあるいは受け入れ易くないかまたはどちらもである」ということは間違いであるとすれば「厳しい」ということは成り立つ; fact10 & fact8 -> int2: 「この操演は快いかあるいは受け入れ易くないかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> int3: この操演は厳しい; int3 & fact9 -> int4: 「このカード使用可はＳオーケーである一方でキックしない」ということは誤りだ; int4 -> int5: 「「Ｓオーケーであるしさらにキックしない」ということは偽である」ものはある; int5 & fact7 -> hypothesis;
「「見出だし難いがロイヤルでない」ということは成り立たない」ものはある
fact12 -> int6: もしもこのカード使用可はＳオーケーであるなら「見出だし難くてさらにロイヤルでない」ということは成り立たない;
$facts$ = fact1: 「「Ｓオーケーだしそれにキックする」ということは誤っている」ものはある fact2: この学びが付き易いとすればこのイオン結合はキックする fact3: 「Ｓオーケーだし加えてキックしない」ものはある fact4: この操演は快くない fact5: もし仮になにかはＳオーケーであるならば「見出だし難くてそれはロイヤルでない」ということは成り立たない fact6: 仮に「あるものは快いか受け入れ易いということはないか両方ともである」ということは真実でないとするとそれは厳しい fact7: 仮に「「Ｓオーケーだし加えてキックしない」ということは誤っている」ものがあればこのイオン結合は付き易い fact8: もしもこの学びは傍訓ならば「この操演は快いかあるいは受け入れ易くないかまたはどちらもだ」ということは成り立たない fact9: この操演は厳しいとすれば「このカード使用可はＳオーケーであるがキックしない」ということは成り立たない fact10: 「この学びは傍訓である」ということは事実と異ならない fact11: 仮に「Ｓオーケーでない」ものがあるならこのイオン結合は付き易い ; $hypothesis$ = このイオン結合は付き易くない ; $proof$ = 
fact6 -> int1: 「この操演は快いかあるいは受け入れ易くないかまたはどちらもである」ということは間違いであるとすれば「厳しい」ということは成り立つ; fact10 & fact8 -> int2: 「この操演は快いかあるいは受け入れ易くないかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> int3: この操演は厳しい; int3 & fact9 -> int4: 「このカード使用可はＳオーケーである一方でキックしない」ということは誤りだ; int4 -> int5: 「「Ｓオーケーであるしさらにキックしない」ということは偽である」ものはある; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: 「「Ｓオーケーだしそれにキックする」ということは誤っている」ものはある
事実2: この学びが付き易いとすればこのイオン結合はキックする
事実3: 「Ｓオーケーだし加えてキックしない」ものはある
事実4: この操演は快くない
事実5: もし仮になにかはＳオーケーであるならば「見出だし難くてそれはロイヤルでない」ということは成り立たない
事実6: 仮に「あるものは快いか受け入れ易いということはないか両方ともである」ということは真実でないとするとそれは厳しい
事実7: 仮に「「Ｓオーケーだし加えてキックしない」ということは誤っている」ものがあればこのイオン結合は付き易い
事実8: もしもこの学びは傍訓ならば「この操演は快いかあるいは受け入れ易くないかまたはどちらもだ」ということは成り立たない
事実9: この操演は厳しいとすれば「このカード使用可はＳオーケーであるがキックしない」ということは成り立たない
事実10: 「この学びは傍訓である」ということは事実と異ならない
事実11: 仮に「Ｓオーケーでない」ものがあるならこのイオン結合は付き易い

仮説: このイオン結合は付き易くない
1. 事実6から、推論1: "「この操演は快いかあるいは受け入れ易くないかまたはどちらもである」ということは間違いであるとすれば「厳しい」ということは成り立つ"が導かれる
2. 事実10と事実8から、推論2: "「この操演は快いかあるいは受け入れ易くないかもしくは両方ともだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この操演は厳しい"が導かれる
4. 推論3と事実9から、推論4: "「このカード使用可はＳオーケーである一方でキックしない」ということは誤りだ"が導かれる
5. 推論4から、推論5: "「「Ｓオーケーであるしさらにキックしない」ということは偽である」ものはある"が導かれる
6. 推論5と事実7から、仮説が否定される

よって、仮説が否定されました。