そのＸＹ色度図は入り辛くない
fact1: もしあの設計技術は人懐っこくないなら「それはスモールトークであるしさらに弾道だ」ということは事実と異なる fact2: その分配側は在庫する一方で厨子入りでない fact3: あの設計技術はべと付かない fact4: もしこの被害妄想がべと付くとするとあの設計技術は挟まる fact5: この被害妄想は交じるけれど三国時代でない fact6: 仮にあるものが弾道でないしおまけに精度向上であるということはないとしたらそれはべと付く fact7: もし仮にこの被害妄想が挟まる一方で吸収され易くないとすると確証する fact8: そのＸＹ色度図は伸び始める fact9: もしもこの被害妄想は吸収され易いがべと付かないとするとそれは確証する fact10: もし仮にあの設計技術がべと付かないとするとこの被害妄想は吸収され易くない fact11: あの設計技術は人懐っこくない fact12: 仮にあの設計技術は入り辛いが挟まらないとするとそれはべと付く fact13: 仮にあの設計技術がべと付かないならばあの被害妄想は挟まる一方でそれは吸収され易くない fact14: 仮になにがしかのものがべと付くかまたは確証するかあるいはどちらもであるならそれは入り辛いということはない fact15: 「この被害妄想は入り辛いということはない」ということは誤っていない fact16: この被害妄想は落ち窪まない fact17: この被害妄想はべと付く fact18: 「もしもこの被害妄想が確証すればそのＸＹ色度図は入り辛い」ということは偽でない fact19: もし仮にそのＸＹ色度図が確証するしそれが入り辛いとしたらそれは吸収され易い
fact13 & fact3 -> int1: この被害妄想は挟まるけれど吸収され易くない; int1 & fact7 -> int2: この被害妄想は確証する; int2 & fact18 -> hypothesis;
fact13 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact7 -> int2: {B}{b}; int2 & fact18 -> hypothesis;
そのＸＹ色度図は入り辛くない
fact20 -> int3: そのＸＹ色度図がべと付くかまたは確証するかもしくは両方ともであるならそれは入り辛いということはない; fact23 -> int4: もしそのＸＹ色度図が弾道でないし精度向上だということはないとすれば「それはべと付く」ということは成り立つ; fact21 & fact22 -> int5: 「あの設計技術がスモールトークだしそれは弾道だ」ということは成り立たない; int5 -> int6: 「「スモールトークであるしその上弾道である」ということは誤りである」物はある;
$facts$ = fact1: もしあの設計技術は人懐っこくないなら「それはスモールトークであるしさらに弾道だ」ということは事実と異なる fact2: その分配側は在庫する一方で厨子入りでない fact3: あの設計技術はべと付かない fact4: もしこの被害妄想がべと付くとするとあの設計技術は挟まる fact5: この被害妄想は交じるけれど三国時代でない fact6: 仮にあるものが弾道でないしおまけに精度向上であるということはないとしたらそれはべと付く fact7: もし仮にこの被害妄想が挟まる一方で吸収され易くないとすると確証する fact8: そのＸＹ色度図は伸び始める fact9: もしもこの被害妄想は吸収され易いがべと付かないとするとそれは確証する fact10: もし仮にあの設計技術がべと付かないとするとこの被害妄想は吸収され易くない fact11: あの設計技術は人懐っこくない fact12: 仮にあの設計技術は入り辛いが挟まらないとするとそれはべと付く fact13: 仮にあの設計技術がべと付かないならばあの被害妄想は挟まる一方でそれは吸収され易くない fact14: 仮になにがしかのものがべと付くかまたは確証するかあるいはどちらもであるならそれは入り辛いということはない fact15: 「この被害妄想は入り辛いということはない」ということは誤っていない fact16: この被害妄想は落ち窪まない fact17: この被害妄想はべと付く fact18: 「もしもこの被害妄想が確証すればそのＸＹ色度図は入り辛い」ということは偽でない fact19: もし仮にそのＸＹ色度図が確証するしそれが入り辛いとしたらそれは吸収され易い ; $hypothesis$ = そのＸＹ色度図は入り辛くない ; $proof$ = 
fact13 & fact3 -> int1: この被害妄想は挟まるけれど吸収され易くない; int1 & fact7 -> int2: この被害妄想は確証する; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: もしあの設計技術は人懐っこくないなら「それはスモールトークであるしさらに弾道だ」ということは事実と異なる
事実2: その分配側は在庫する一方で厨子入りでない
事実3: あの設計技術はべと付かない
事実4: もしこの被害妄想がべと付くとするとあの設計技術は挟まる
事実5: この被害妄想は交じるけれど三国時代でない
事実6: 仮にあるものが弾道でないしおまけに精度向上であるということはないとしたらそれはべと付く
事実7: もし仮にこの被害妄想が挟まる一方で吸収され易くないとすると確証する
事実8: そのＸＹ色度図は伸び始める
事実9: もしもこの被害妄想は吸収され易いがべと付かないとするとそれは確証する
事実10: もし仮にあの設計技術がべと付かないとするとこの被害妄想は吸収され易くない
事実11: あの設計技術は人懐っこくない
事実12: 仮にあの設計技術は入り辛いが挟まらないとするとそれはべと付く
事実13: 仮にあの設計技術がべと付かないならばあの被害妄想は挟まる一方でそれは吸収され易くない
事実14: 仮になにがしかのものがべと付くかまたは確証するかあるいはどちらもであるならそれは入り辛いということはない
事実15: 「この被害妄想は入り辛いということはない」ということは誤っていない
事実16: この被害妄想は落ち窪まない
事実17: この被害妄想はべと付く
事実18: 「もしもこの被害妄想が確証すればそのＸＹ色度図は入り辛い」ということは偽でない
事実19: もし仮にそのＸＹ色度図が確証するしそれが入り辛いとしたらそれは吸収され易い

仮説: そのＸＹ色度図は入り辛くない
1. 事実13と事実3から、推論1: "この被害妄想は挟まるけれど吸収され易くない"が導かれる
2. 推論1と事実7から、推論2: "この被害妄想は確証する"が導かれる
3. 推論2と事実18から、仮説が否定される

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