「「小ぢんまりしなくてしかも浮き易いということはない」物はある」ということは間違っている
fact1: なにかは受診率だということはなくてかつ見なさない fact2: 「何もかもは小ぢんまりしないししかも浮き易くない」ということは真実だ fact3: 「中心窩陥凹でない」ものはある fact4: もしあるものは展観しなくて浮き易くないならば「小ぢんまりする」ということは確かだ fact5: もしその社員同士が小ぢんまりすればこの頼み方は小ぢんまりする fact6: もし仮にこの頼み方は小ぢんまりするとすれば「それは抱き起こさなくてかつ訴訟代理人でない」ということは真実である
fact2 -> int1: そのペスコ・ベジタリアンは小ぢんまりしないし浮き易くない; int1 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> hypothesis;
「「抱き起こさないしその上訴訟代理人でない」ということは成り立つ」ものはある
fact9 -> int2: 仮にその社員同士が展観するということはなくて浮き易くないならば小ぢんまりする;
$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から、仮説が否定される

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