「「もしも「自由党内だ」ということは確かであるなら痛まない」物はある」ということは成り立たない
fact1: 各連結法人は緩み易くない fact2: もしもあのチキンコンソメは自由党内であるならばそれは痛まない fact3: もし仮にあのチキンコンソメは自由党内だとしたら「それは痛む」ということは確かだ
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし仮に各連結法人だとしたら緩み易くない」ものはある
fact4 -> int1: もしこの基板上は各連結法人であるならば「緩み易いということはない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 各連結法人は緩み易くない fact2: もしもあのチキンコンソメは自由党内であるならばそれは痛まない fact3: もし仮にあのチキンコンソメは自由党内だとしたら「それは痛む」ということは確かだ ; $hypothesis$ = 「「もしも「自由党内だ」ということは確かであるなら痛まない」物はある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 各連結法人は緩み易くない
事実2: もしもあのチキンコンソメは自由党内であるならばそれは痛まない
事実3: もし仮にあのチキンコンソメは自由党内だとしたら「それは痛む」ということは確かだ

仮説: 「「もしも「自由党内だ」ということは確かであるなら痛まない」物はある」ということは成り立たない
1. 事実2から、仮説が否定される

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