「「もしも倒れ難いかあるいは付け易くないかまたは両方ともならば伝え難い」ものはある」ということは間違いだ
fact1: 「もしも練り歩けば侵入し易い」ものはある fact2: 倒れ難いかあるいは付け易くないかまたは両方な物は伝え難い fact3: 「倒れ難いかもしくは付け易いか両方であるなら伝え難い」ものはある fact4: 「仮に付け易くないとすれば伝え難い」物はある fact5: もしあるものがノーベル医学生理学賞であるかもしくは因り難くないならば「それは出血し易い」ということは成り立つ fact6: 仮にそのスケッチ画が付け易くないならそれは伝え難い
fact2 -> int1: 仮にそのスケッチ画が倒れ難いか付け易いということはないかあるいは両方ともなら伝え難い; int1 -> hypothesis;
もし仮にそのスケッチ画がノーベル医学生理学賞であるか因り難くないかあるいは両方ともであるとするとそれは出血し易い
fact7 -> hypothesis;
$facts$ = fact1: 「もしも練り歩けば侵入し易い」ものはある fact2: 倒れ難いかあるいは付け易くないかまたは両方な物は伝え難い fact3: 「倒れ難いかもしくは付け易いか両方であるなら伝え難い」ものはある fact4: 「仮に付け易くないとすれば伝え難い」物はある fact5: もしあるものがノーベル医学生理学賞であるかもしくは因り難くないならば「それは出血し易い」ということは成り立つ fact6: 仮にそのスケッチ画が付け易くないならそれは伝え難い ; $hypothesis$ = 「「もしも倒れ難いかあるいは付け易くないかまたは両方ともならば伝え難い」ものはある」ということは間違いだ ; $proof$ = 
fact2 -> int1: 仮にそのスケッチ画が倒れ難いか付け易いということはないかあるいは両方ともなら伝え難い; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも練り歩けば侵入し易い」ものはある
事実2: 倒れ難いかあるいは付け易くないかまたは両方な物は伝え難い
事実3: 「倒れ難いかもしくは付け易いか両方であるなら伝え難い」ものはある
事実4: 「仮に付け易くないとすれば伝え難い」物はある
事実5: もしあるものがノーベル医学生理学賞であるかもしくは因り難くないならば「それは出血し易い」ということは成り立つ
事実6: 仮にそのスケッチ画が付け易くないならそれは伝え難い

仮説: 「「もしも倒れ難いかあるいは付け易くないかまたは両方ともならば伝え難い」ものはある」ということは間違いだ
1. 事実2から、推論1: "仮にそのスケッチ画が倒れ難いか付け易いということはないかあるいは両方ともなら伝え難い"が導かれる
2. 推論1から、仮説が否定される

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