「このカテゴリーキラーは蒼みがかるかあるいは修繕費であるかもしくは両方だ」ということは成り立つということはない
fact1: とあるものが返信するとすればそれはすげない fact2: もし仮に何らかのものは差異化でないならぱさぱさしなくてしかも尊くない fact3: もし仮に「あの欺瞞は中袋だししかも地域活動支援センターだ」ということは嘘ならこのカテゴリーキラーは差異化だということはない fact4: 「「育ち合えるし加えて集まり出さない」ということは偽な」物はある fact5: あの欺瞞はぱさぱさするかまたは尊い fact6: もしあの欺瞞がぱさぱさするならばあのカテゴリーキラーは蒼みがかる fact7: もしも「「育ち合えるし集まり出すということはない」ということは事実でない」物があるとするとあのＰＣＢは返信する fact8: もしなにかはぱさぱさするということはないしかつ尊くないとすればそれは絵カードである fact9: もしなんらかの物はぱさぱさしないとすると「それは蒼みがかるかもしくは修繕費だ」ということは間違いだ fact10: もし仮にあの欺瞞が地域活動支援センターだけれど修繕費でないとするとこのカテゴリーキラーは修繕費でない fact11: もしもあの欺瞞が尊いならばこのカテゴリーキラーは蒼みがかる
fact5 & fact6 & fact11 -> int1: このカテゴリーキラーは蒼みがかる; int1 -> hypothesis;
「このカテゴリーキラーは蒼みがかるかまたはそれは修繕費である」ということは事実と異なる
fact17 -> int2: 仮にこのカテゴリーキラーはぱさぱさしないとしたら「蒼みがかるかもしくは修繕費だ」ということは誤りである; fact14 -> int3: もしもこのカテゴリーキラーは差異化であるということはないならばそれはぱさぱさしないしまた尊くない; fact16 -> int4: もし仮にあのＰＣＢが返信するとするとそれはすげない; fact12 & fact13 -> int5: あのＰＣＢは返信する; int4 & int5 -> int6: あのＰＣＢはすげない; int6 -> int7: 「すげない」物はある;
$facts$ = fact1: とあるものが返信するとすればそれはすげない fact2: もし仮に何らかのものは差異化でないならぱさぱさしなくてしかも尊くない fact3: もし仮に「あの欺瞞は中袋だししかも地域活動支援センターだ」ということは嘘ならこのカテゴリーキラーは差異化だということはない fact4: 「「育ち合えるし加えて集まり出さない」ということは偽な」物はある fact5: あの欺瞞はぱさぱさするかまたは尊い fact6: もしあの欺瞞がぱさぱさするならばあのカテゴリーキラーは蒼みがかる fact7: もしも「「育ち合えるし集まり出すということはない」ということは事実でない」物があるとするとあのＰＣＢは返信する fact8: もしなにかはぱさぱさするということはないしかつ尊くないとすればそれは絵カードである fact9: もしなんらかの物はぱさぱさしないとすると「それは蒼みがかるかもしくは修繕費だ」ということは間違いだ fact10: もし仮にあの欺瞞が地域活動支援センターだけれど修繕費でないとするとこのカテゴリーキラーは修繕費でない fact11: もしもあの欺瞞が尊いならばこのカテゴリーキラーは蒼みがかる ; $hypothesis$ = 「このカテゴリーキラーは蒼みがかるかあるいは修繕費であるかもしくは両方だ」ということは成り立つということはない ; $proof$ = 
fact5 & fact6 & fact11 -> int1: このカテゴリーキラーは蒼みがかる; int1 -> hypothesis; __DISPROVED__
事実1: とあるものが返信するとすればそれはすげない
事実2: もし仮に何らかのものは差異化でないならぱさぱさしなくてしかも尊くない
事実3: もし仮に「あの欺瞞は中袋だししかも地域活動支援センターだ」ということは嘘ならこのカテゴリーキラーは差異化だということはない
事実4: 「「育ち合えるし加えて集まり出さない」ということは偽な」物はある
事実5: あの欺瞞はぱさぱさするかまたは尊い
事実6: もしあの欺瞞がぱさぱさするならばあのカテゴリーキラーは蒼みがかる
事実7: もしも「「育ち合えるし集まり出すということはない」ということは事実でない」物があるとするとあのＰＣＢは返信する
事実8: もしなにかはぱさぱさするということはないしかつ尊くないとすればそれは絵カードである
事実9: もしなんらかの物はぱさぱさしないとすると「それは蒼みがかるかもしくは修繕費だ」ということは間違いだ
事実10: もし仮にあの欺瞞が地域活動支援センターだけれど修繕費でないとするとこのカテゴリーキラーは修繕費でない
事実11: もしもあの欺瞞が尊いならばこのカテゴリーキラーは蒼みがかる

仮説: 「このカテゴリーキラーは蒼みがかるかあるいは修繕費であるかもしくは両方だ」ということは成り立つということはない
1. 事実5と事実6と事実11から、推論1: "このカテゴリーキラーは蒼みがかる"が導かれる
2. 推論1から、仮説が否定される

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