このミドルは落ち着き払わないけどそれは描き易い
fact1: 「あのレディング発はぱさつかないかまたはそれは狡い」ということは間違っている fact2: 「発現低下である」物はあれば「このミドルは落ち着き払うし更にそれは描き易い」ということは成り立つということはない fact3: 「このミドルは落ち着き払わない」ということは嘘でない fact4: 「あのレディング発はぱさつくということはないかあるいは狡いかまたはどちらもだ」ということは間違っているならあの村高は発現低下である fact5: あのレディング発はぱさつく fact6: 仮に「あのレディング発はぱさつくかあるいは狡いかもしくはどちらもである」ということは成り立たないならば「あの村高は発現低下である」ということは成り立つ fact7: 仮に「発現低下である」ものはあるとすると「このミドルは落ち着き払わないが描き易い」ということは間違っている
fact4 & fact1 -> int1: 「あの村高は発現低下だ」ということは成り立つ; int1 -> int2: 「発現低下な」物はある; int2 & fact7 -> hypothesis;
このミドルは落ち着き払わないけれど描き易い
$facts$ = fact1: 「あのレディング発はぱさつかないかまたはそれは狡い」ということは間違っている fact2: 「発現低下である」物はあれば「このミドルは落ち着き払うし更にそれは描き易い」ということは成り立つということはない fact3: 「このミドルは落ち着き払わない」ということは嘘でない fact4: 「あのレディング発はぱさつくということはないかあるいは狡いかまたはどちらもだ」ということは間違っているならあの村高は発現低下である fact5: あのレディング発はぱさつく fact6: 仮に「あのレディング発はぱさつくかあるいは狡いかもしくはどちらもである」ということは成り立たないならば「あの村高は発現低下である」ということは成り立つ fact7: 仮に「発現低下である」ものはあるとすると「このミドルは落ち着き払わないが描き易い」ということは間違っている ; $hypothesis$ = このミドルは落ち着き払わないけどそれは描き易い ; $proof$ = 
fact4 & fact1 -> int1: 「あの村高は発現低下だ」ということは成り立つ; int1 -> int2: 「発現低下な」物はある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あのレディング発はぱさつかないかまたはそれは狡い」ということは間違っている
事実2: 「発現低下である」物はあれば「このミドルは落ち着き払うし更にそれは描き易い」ということは成り立つということはない
事実3: 「このミドルは落ち着き払わない」ということは嘘でない
事実4: 「あのレディング発はぱさつくということはないかあるいは狡いかまたはどちらもだ」ということは間違っているならあの村高は発現低下である
事実5: あのレディング発はぱさつく
事実6: 仮に「あのレディング発はぱさつくかあるいは狡いかもしくはどちらもである」ということは成り立たないならば「あの村高は発現低下である」ということは成り立つ
事実7: 仮に「発現低下である」ものはあるとすると「このミドルは落ち着き払わないが描き易い」ということは間違っている

仮説: このミドルは落ち着き払わないけどそれは描き易い
1. 事実4と事実1から、推論1: "「あの村高は発現低下だ」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「発現低下な」物はある"が導かれる
3. 推論2と事実7から、仮説が否定される

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