「その男児は食べ易い」ということは成り立つ
fact1: 「「あのＡＩＤＳ治療薬は読み上げるが最高参議会でない」ということは誤りであるならあのＡＩＤＳ治療薬は入手し易いということはない」ということは正しい fact2: 「「あのＡＩＤＳ治療薬は読み上げるけれど最高参議会だということはない」ということは真実である」ということは成り立たない fact3: もしあのＡＩＤＳ治療薬が入手し易くないとすればあのカーテン屋は入手し易くないしそれに出資するということはない fact4: もしこのカーテン屋が入手し易くないしその上それは出資しないなら「その男児は食べ易くない」ということは誤っていない
fact1 & fact2 -> int1: あのＡＩＤＳ治療薬は入手し易くない; int1 & fact3 -> int2: このカーテン屋は入手し易くないしそれに出資しない; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: (¬{B}{b} & ¬{A}{b}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 「「あのＡＩＤＳ治療薬は読み上げるが最高参議会でない」ということは誤りであるならあのＡＩＤＳ治療薬は入手し易いということはない」ということは正しい fact2: 「「あのＡＩＤＳ治療薬は読み上げるけれど最高参議会だということはない」ということは真実である」ということは成り立たない fact3: もしあのＡＩＤＳ治療薬が入手し易くないとすればあのカーテン屋は入手し易くないしそれに出資するということはない fact4: もしこのカーテン屋が入手し易くないしその上それは出資しないなら「その男児は食べ易くない」ということは誤っていない ; $hypothesis$ = 「その男児は食べ易い」ということは成り立つ ; $proof$ = 
fact1 & fact2 -> int1: あのＡＩＤＳ治療薬は入手し易くない; int1 & fact3 -> int2: このカーテン屋は入手し易くないしそれに出資しない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「「あのＡＩＤＳ治療薬は読み上げるが最高参議会でない」ということは誤りであるならあのＡＩＤＳ治療薬は入手し易いということはない」ということは正しい
事実2: 「「あのＡＩＤＳ治療薬は読み上げるけれど最高参議会だということはない」ということは真実である」ということは成り立たない
事実3: もしあのＡＩＤＳ治療薬が入手し易くないとすればあのカーテン屋は入手し易くないしそれに出資するということはない
事実4: もしこのカーテン屋が入手し易くないしその上それは出資しないなら「その男児は食べ易くない」ということは誤っていない

仮説: 「その男児は食べ易い」ということは成り立つ
1. 事実1と事実2から、推論1: "あのＡＩＤＳ治療薬は入手し易くない"が導かれる
2. 推論1と事実3から、推論2: "このカーテン屋は入手し易くないしそれに出資しない"が導かれる
3. 推論2と事実4から、仮説が否定される

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