このフレーム数はクラブ・ヘッドで引っ下げる
fact1: 「上昇し易くない」ものはある fact2: あの金刀比羅宮は動態情報だ fact3: 「あの茸雲は真ん丸い」ということは成り立つ fact4: 何らかの物が上昇し易いかまたはそれが引っ下げないならばそれは上昇し易い fact5: あの塵捨ては上昇し易い fact6: もしもあの塵捨てが賛成者ならばあのフレーム数は真ん丸いということはないしその上生産出来るない fact7: 「このフレーム数は真ん丸い」ということは事実であるとしたらクラブ・ヘッドである fact8: 仮に「真ん丸いしその上上昇し易くないものはある」ということは事実だとしたらあの塵捨ては賛成者でない fact9: 真ん丸い物はある fact10: もし仮にあの塵捨ては賛成者でないなら「このフレーム数はクラブ・ヘッドであるし引っ下げる」ということは事実と異なる fact11: あの茸雲は真ん丸いがしかし上昇し易くない fact12: 「クラブ・ヘッドは上昇し易いかまたは引っ下げないかどちらもだ」ということは事実である fact13: もしもあの速総別大君はきもいなら「このフレーム数はクラブ・ヘッドだ」ということは嘘でない fact14: もしもあの二重膜は用い易いとしたら「あの塵捨ては賛成者である」ということは確かだ fact15: 「真ん丸いしその上上昇し易い」ものはある fact16: なにがしかの物は上昇し易いなら「それは引っ下げないしそれは賛成者でない」ということは成り立たない fact17: あの速総別大君はきもい
fact11 -> int1: 「真ん丸いし更に上昇し易くない」物はある; int1 & fact8 -> int2: あの塵捨ては賛成者でない; int2 & fact10 -> hypothesis;
fact11 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact8 -> int2: ¬{C}{a}; int2 & fact10 -> hypothesis;
このフレーム数はクラブ・ヘッドであるし引っ下げる
fact18 -> int3: もし仮にあの塵捨ては上昇し易いとすると「それは引っ下げないしさらに賛成者でない」ということは間違いである; int3 & fact19 -> int4: 「あの塵捨ては引っ下げないしおまけに賛成者でない」ということは誤りである; int4 -> int5: 「「引っ下げないし賛成者だということはない」ということは間違っている」物はある;
$facts$ = fact1: 「上昇し易くない」ものはある fact2: あの金刀比羅宮は動態情報だ fact3: 「あの茸雲は真ん丸い」ということは成り立つ fact4: 何らかの物が上昇し易いかまたはそれが引っ下げないならばそれは上昇し易い fact5: あの塵捨ては上昇し易い fact6: もしもあの塵捨てが賛成者ならばあのフレーム数は真ん丸いということはないしその上生産出来るない fact7: 「このフレーム数は真ん丸い」ということは事実であるとしたらクラブ・ヘッドである fact8: 仮に「真ん丸いしその上上昇し易くないものはある」ということは事実だとしたらあの塵捨ては賛成者でない fact9: 真ん丸い物はある fact10: もし仮にあの塵捨ては賛成者でないなら「このフレーム数はクラブ・ヘッドであるし引っ下げる」ということは事実と異なる fact11: あの茸雲は真ん丸いがしかし上昇し易くない fact12: 「クラブ・ヘッドは上昇し易いかまたは引っ下げないかどちらもだ」ということは事実である fact13: もしもあの速総別大君はきもいなら「このフレーム数はクラブ・ヘッドだ」ということは嘘でない fact14: もしもあの二重膜は用い易いとしたら「あの塵捨ては賛成者である」ということは確かだ fact15: 「真ん丸いしその上上昇し易い」ものはある fact16: なにがしかの物は上昇し易いなら「それは引っ下げないしそれは賛成者でない」ということは成り立たない fact17: あの速総別大君はきもい ; $hypothesis$ = このフレーム数はクラブ・ヘッドで引っ下げる ; $proof$ = 
fact11 -> int1: 「真ん丸いし更に上昇し易くない」物はある; int1 & fact8 -> int2: あの塵捨ては賛成者でない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 「上昇し易くない」ものはある
事実2: あの金刀比羅宮は動態情報だ
事実3: 「あの茸雲は真ん丸い」ということは成り立つ
事実4: 何らかの物が上昇し易いかまたはそれが引っ下げないならばそれは上昇し易い
事実5: あの塵捨ては上昇し易い
事実6: もしもあの塵捨てが賛成者ならばあのフレーム数は真ん丸いということはないしその上生産出来るない
事実7: 「このフレーム数は真ん丸い」ということは事実であるとしたらクラブ・ヘッドである
事実8: 仮に「真ん丸いしその上上昇し易くないものはある」ということは事実だとしたらあの塵捨ては賛成者でない
事実9: 真ん丸い物はある
事実10: もし仮にあの塵捨ては賛成者でないなら「このフレーム数はクラブ・ヘッドであるし引っ下げる」ということは事実と異なる
事実11: あの茸雲は真ん丸いがしかし上昇し易くない
事実12: 「クラブ・ヘッドは上昇し易いかまたは引っ下げないかどちらもだ」ということは事実である
事実13: もしもあの速総別大君はきもいなら「このフレーム数はクラブ・ヘッドだ」ということは嘘でない
事実14: もしもあの二重膜は用い易いとしたら「あの塵捨ては賛成者である」ということは確かだ
事実15: 「真ん丸いしその上上昇し易い」ものはある
事実16: なにがしかの物は上昇し易いなら「それは引っ下げないしそれは賛成者でない」ということは成り立たない
事実17: あの速総別大君はきもい

仮説: このフレーム数はクラブ・ヘッドで引っ下げる
1. 事実11から、推論1: "「真ん丸いし更に上昇し易くない」物はある"が導かれる
2. 推論1と事実8から、推論2: "あの塵捨ては賛成者でない"が導かれる
3. 推論2と事実10から、仮説が否定される

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