あの育児サークルは急増する
fact1: もしも考え辛くない詩情があるとしたらあの育児サークルは急増するということはない fact2: 仮に「なんらかのものは急増するけれど考え辛くない」ということは成り立つということはないならば詩情でない fact3: 「考え辛くない」ものはある fact4: 「捕らえ易いということはない」物はある fact5: そのプロジェクトメニューは詩情であるがしかしそれは考え辛くない
fact5 -> int1: 考え辛くない詩情はある; int1 & fact1 -> hypothesis;
fact5 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact1 -> hypothesis;
そのオキシドールは詩情でない
fact6 -> int2: 「「そのオキシドールは急増するがそれは考え辛いということはない」ということは誤りであるならばあのオキシドールは詩情だということはない」ということは誤っていない;
$facts$ = fact1: もしも考え辛くない詩情があるとしたらあの育児サークルは急増するということはない fact2: 仮に「なんらかのものは急増するけれど考え辛くない」ということは成り立つということはないならば詩情でない fact3: 「考え辛くない」ものはある fact4: 「捕らえ易いということはない」物はある fact5: そのプロジェクトメニューは詩情であるがしかしそれは考え辛くない ; $hypothesis$ = あの育児サークルは急増する ; $proof$ = 
fact5 -> int1: 考え辛くない詩情はある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも考え辛くない詩情があるとしたらあの育児サークルは急増するということはない
事実2: 仮に「なんらかのものは急増するけれど考え辛くない」ということは成り立つということはないならば詩情でない
事実3: 「考え辛くない」ものはある
事実4: 「捕らえ易いということはない」物はある
事実5: そのプロジェクトメニューは詩情であるがしかしそれは考え辛くない

仮説: あの育児サークルは急増する
1. 事実5から、推論1: "考え辛くない詩情はある"が導かれる
2. 推論1と事実1から、仮説が否定される

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