「あの当該事業者はプレスしないしそれにぶら下がらない」ということは成り立たない
fact1: あの平均はＣＡＴだし加えてそれはぶら下がる fact2: もしも「とあるものはプレスしない」ということは事実だとしたら物質量であるし更にＣＡＴだ fact3: あの平均はＣＡＴだ fact4: もしもあの平均は争奪するということはないとすると「プレスするし更に温いということはない」ということは事実と異なる fact5: もし仮にあの平均がプレスするということはないとするとその出納課はプレスしない fact6: もし仮にあの平均がぶら下がるならあの当該事業者はプレスするということはないしぶら下がるということはない fact7: 仮に「なんらかのものはプレスする一方で温くない」ということは嘘だとするとそれはプレスするということはない fact8: 「あの当該事業者はプレスしない」ということは成り立つ
fact1 -> int1: あの平均はぶら下がる; int1 & fact6 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
その出納課は物質量であるしぶら下がる
fact11 -> int2: 仮にその出納課がプレスしないとするとそれは物質量であるしそれはＣＡＴである; fact9 -> int3: もし仮に「あの平均はプレスするけどそれは温くない」ということは嘘だとしたらプレスするということはない;
$facts$ = fact1: あの平均はＣＡＴだし加えてそれはぶら下がる fact2: もしも「とあるものはプレスしない」ということは事実だとしたら物質量であるし更にＣＡＴだ fact3: あの平均はＣＡＴだ fact4: もしもあの平均は争奪するということはないとすると「プレスするし更に温いということはない」ということは事実と異なる fact5: もし仮にあの平均がプレスするということはないとするとその出納課はプレスしない fact6: もし仮にあの平均がぶら下がるならあの当該事業者はプレスするということはないしぶら下がるということはない fact7: 仮に「なんらかのものはプレスする一方で温くない」ということは嘘だとするとそれはプレスするということはない fact8: 「あの当該事業者はプレスしない」ということは成り立つ ; $hypothesis$ = 「あの当該事業者はプレスしないしそれにぶら下がらない」ということは成り立たない ; $proof$ = 
fact1 -> int1: あの平均はぶら下がる; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: あの平均はＣＡＴだし加えてそれはぶら下がる
事実2: もしも「とあるものはプレスしない」ということは事実だとしたら物質量であるし更にＣＡＴだ
事実3: あの平均はＣＡＴだ
事実4: もしもあの平均は争奪するということはないとすると「プレスするし更に温いということはない」ということは事実と異なる
事実5: もし仮にあの平均がプレスするということはないとするとその出納課はプレスしない
事実6: もし仮にあの平均がぶら下がるならあの当該事業者はプレスするということはないしぶら下がるということはない
事実7: 仮に「なんらかのものはプレスする一方で温くない」ということは嘘だとするとそれはプレスするということはない
事実8: 「あの当該事業者はプレスしない」ということは成り立つ

仮説: 「あの当該事業者はプレスしないしそれにぶら下がらない」ということは成り立たない
1. 事実1から、推論1: "あの平均はぶら下がる"が導かれる
2. 推論1と事実6から、仮説が否定される

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