「あのヒーローは攻撃し易くない一方で艶っぽい」ということは事実だということはない
fact1: 何もかもは融資先である一方で伏さない fact2: もしなにかは囲うとすれば伏す fact3: もし仮にあのＢＣＧ‐ＣＷＳ単独療法が攻撃し易くないならあのヒーローは攻撃し易くないがしかし艶っぽい fact4: もしなにかは融資先であるということはないとしたら「伏すしさらに艶っぽい」ということは事実でない fact5: 仮にあのＢＣＧ‐ＣＷＳ単独療法は融資先で伏すとするとそれは攻撃し易くない fact6: あのＢＣＧ‐ＣＷＳ単独療法が攻撃し易いということはないならばあのヒーローは攻撃し易くない fact7: あのＢＣＧ‐ＣＷＳ単独療法は伏さない fact8: もしも何らかのものが伏すなら融資先である fact9: もしもあのＢＣＧ‐ＣＷＳ単独療法は融資先であるけれど伏さないとしたら攻撃し易いということはない fact10: 全ては伏さない fact11: もしこの馬乳酒が融資先であるとしたらこの全ドイツ憲法は艶っぽくない
fact1 -> int1: あのＢＣＧ‐ＣＷＳ単独療法は融資先だが伏さない; int1 & fact9 -> int2: あのＢＣＧ‐ＣＷＳ単独療法は攻撃し易くない; int2 & fact3 -> hypothesis;
「あのヒーローは攻撃し易くないが艶っぽい」ということは成り立たない
fact14 -> int3: この馬乳酒が伏すとすればそれは融資先である; fact13 -> int4: もしこの馬乳酒が囲うとしたらそれは伏す;
$facts$ = fact1: 何もかもは融資先である一方で伏さない fact2: もしなにかは囲うとすれば伏す fact3: もし仮にあのＢＣＧ‐ＣＷＳ単独療法が攻撃し易くないならあのヒーローは攻撃し易くないがしかし艶っぽい fact4: もしなにかは融資先であるということはないとしたら「伏すしさらに艶っぽい」ということは事実でない fact5: 仮にあのＢＣＧ‐ＣＷＳ単独療法は融資先で伏すとするとそれは攻撃し易くない fact6: あのＢＣＧ‐ＣＷＳ単独療法が攻撃し易いということはないならばあのヒーローは攻撃し易くない fact7: あのＢＣＧ‐ＣＷＳ単独療法は伏さない fact8: もしも何らかのものが伏すなら融資先である fact9: もしもあのＢＣＧ‐ＣＷＳ単独療法は融資先であるけれど伏さないとしたら攻撃し易いということはない fact10: 全ては伏さない fact11: もしこの馬乳酒が融資先であるとしたらこの全ドイツ憲法は艶っぽくない ; $hypothesis$ = 「あのヒーローは攻撃し易くない一方で艶っぽい」ということは事実だということはない ; $proof$ = 
fact1 -> int1: あのＢＣＧ‐ＣＷＳ単独療法は融資先だが伏さない; int1 & fact9 -> int2: あのＢＣＧ‐ＣＷＳ単独療法は攻撃し易くない; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 何もかもは融資先である一方で伏さない
事実2: もしなにかは囲うとすれば伏す
事実3: もし仮にあのＢＣＧ‐ＣＷＳ単独療法が攻撃し易くないならあのヒーローは攻撃し易くないがしかし艶っぽい
事実4: もしなにかは融資先であるということはないとしたら「伏すしさらに艶っぽい」ということは事実でない
事実5: 仮にあのＢＣＧ‐ＣＷＳ単独療法は融資先で伏すとするとそれは攻撃し易くない
事実6: あのＢＣＧ‐ＣＷＳ単独療法が攻撃し易いということはないならばあのヒーローは攻撃し易くない
事実7: あのＢＣＧ‐ＣＷＳ単独療法は伏さない
事実8: もしも何らかのものが伏すなら融資先である
事実9: もしもあのＢＣＧ‐ＣＷＳ単独療法は融資先であるけれど伏さないとしたら攻撃し易いということはない
事実10: 全ては伏さない
事実11: もしこの馬乳酒が融資先であるとしたらこの全ドイツ憲法は艶っぽくない

仮説: 「あのヒーローは攻撃し易くない一方で艶っぽい」ということは事実だということはない
1. 事実1から、推論1: "あのＢＣＧ‐ＣＷＳ単独療法は融資先だが伏さない"が導かれる
2. 推論1と事実9から、推論2: "あのＢＣＧ‐ＣＷＳ単独療法は攻撃し易くない"が導かれる
3. 推論2と事実3から、仮説が否定される

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