「「仮に掛かり易いとしたら現われ難いということはない」ものはある」ということは成り立たない
fact1: 「法令上であるとすると連想し易くない」物はある fact2: もし何かは掛かり易いなら現われ難いということはない fact3: 砕石位は吹っ切らない fact4: もしその最高気温が掛かり易いなら現われ難い fact5: 仮にその最高気温が犯し難いとすればそれは現われ難くない fact6: 「仮に「掛かり易い」ということは成り立つとしたら現われ難い」物はある fact7: とあるものが揺曳するとしたら妙手でない fact8: もしもある物が歯痒いならそれはへし折れない fact9: 「仮に定期保険ならば書き難くない」物はある fact10: 「仮に受け始めるなら生白くない」物はある fact11: 「法令上はオアシス都市だということはない」ということは確かである fact12: もし仮になにがしかの物が掛かり易いなら現われ難い fact13: 「その最高気温は掛かり易い」ということは確かだとしたら専属しない
fact2 -> int1: もしその最高気温が掛かり易いとするとそれは現われ難くない; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「法令上であるとすると連想し易くない」物はある fact2: もし何かは掛かり易いなら現われ難いということはない fact3: 砕石位は吹っ切らない fact4: もしその最高気温が掛かり易いなら現われ難い fact5: 仮にその最高気温が犯し難いとすればそれは現われ難くない fact6: 「仮に「掛かり易い」ということは成り立つとしたら現われ難い」物はある fact7: とあるものが揺曳するとしたら妙手でない fact8: もしもある物が歯痒いならそれはへし折れない fact9: 「仮に定期保険ならば書き難くない」物はある fact10: 「仮に受け始めるなら生白くない」物はある fact11: 「法令上はオアシス都市だということはない」ということは確かである fact12: もし仮になにがしかの物が掛かり易いなら現われ難い fact13: 「その最高気温は掛かり易い」ということは確かだとしたら専属しない ; $hypothesis$ = 「「仮に掛かり易いとしたら現われ難いということはない」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしその最高気温が掛かり易いとするとそれは現われ難くない; int1 -> hypothesis; __DISPROVED__
事実1: 「法令上であるとすると連想し易くない」物はある
事実2: もし何かは掛かり易いなら現われ難いということはない
事実3: 砕石位は吹っ切らない
事実4: もしその最高気温が掛かり易いなら現われ難い
事実5: 仮にその最高気温が犯し難いとすればそれは現われ難くない
事実6: 「仮に「掛かり易い」ということは成り立つとしたら現われ難い」物はある
事実7: とあるものが揺曳するとしたら妙手でない
事実8: もしもある物が歯痒いならそれはへし折れない
事実9: 「仮に定期保険ならば書き難くない」物はある
事実10: 「仮に受け始めるなら生白くない」物はある
事実11: 「法令上はオアシス都市だということはない」ということは確かである
事実12: もし仮になにがしかの物が掛かり易いなら現われ難い
事実13: 「その最高気温は掛かり易い」ということは確かだとしたら専属しない

仮説: 「「仮に掛かり易いとしたら現われ難いということはない」ものはある」ということは成り立たない
1. 事実2から、推論1: "もしその最高気温が掛かり易いとするとそれは現われ難くない"が導かれる
2. 推論1から、仮説が否定される

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