あのムービープレビューは青黒くない
fact1: その採択はバリアする fact2: あの消耗はバリアする fact3: あらゆる物はさらっとしないし加えてそれは巻き方だ fact4: もしあの消耗はバリアするなら「このオープンスタイルは借款でないけど目的無し」ということは間違いだ fact5: 「このオープンスタイルは借款でない一方で目的無し」ということは間違いだ fact6: もしも「あの消耗はバリアする」ということは成り立つなら「このオープンスタイルは借款でなくてその上目的無しない」ということは誤りだ fact7: 「このオープンスタイルは目的無しないし青黒くない」ということは成り立たない fact8: 「あの消耗は目的無し」ということは間違っていない fact9: 「このオープンスタイルは借款でないしその上目的無しない」ということは誤っているならばあのムービープレビューは青黒い fact10: あの消耗はバリアするなら「このオープンスタイルは借款だけど目的無しない」ということは誤りだ fact11: 「このオープンスタイルは借款であるがそれは目的無しない」ということは本当だということはない fact12: 仮に「あの消耗は青黒い」ということは成り立つとすると「あのムービープレビューは借款だということはなくてかつバリアしない」ということは真実でない fact13: もし仮に何かはぶれないとすると「「バリアしなくて占有移転でない」ということは真実だ」ということは誤りである
fact6 & fact2 -> int1: 「このオープンスタイルは借款でなくてかつそれは目的無しない」ということは誤りだ; int1 & fact9 -> hypothesis;
あのムービープレビューは青黒くない
fact14 -> int2: もしあの消耗はぶれるということはないとすると「バリアしなくてしかも占有移転でない」ということは間違いだ; fact15 -> int3: このオープンスタイルはさらっとしないけれど巻き方だ; int3 -> int4: なんらかの物はさらっとしないけど巻き方だ;
$facts$ = fact1: その採択はバリアする fact2: あの消耗はバリアする fact3: あらゆる物はさらっとしないし加えてそれは巻き方だ fact4: もしあの消耗はバリアするなら「このオープンスタイルは借款でないけど目的無し」ということは間違いだ fact5: 「このオープンスタイルは借款でない一方で目的無し」ということは間違いだ fact6: もしも「あの消耗はバリアする」ということは成り立つなら「このオープンスタイルは借款でなくてその上目的無しない」ということは誤りだ fact7: 「このオープンスタイルは目的無しないし青黒くない」ということは成り立たない fact8: 「あの消耗は目的無し」ということは間違っていない fact9: 「このオープンスタイルは借款でないしその上目的無しない」ということは誤っているならばあのムービープレビューは青黒い fact10: あの消耗はバリアするなら「このオープンスタイルは借款だけど目的無しない」ということは誤りだ fact11: 「このオープンスタイルは借款であるがそれは目的無しない」ということは本当だということはない fact12: 仮に「あの消耗は青黒い」ということは成り立つとすると「あのムービープレビューは借款だということはなくてかつバリアしない」ということは真実でない fact13: もし仮に何かはぶれないとすると「「バリアしなくて占有移転でない」ということは真実だ」ということは誤りである ; $hypothesis$ = あのムービープレビューは青黒くない ; $proof$ = 
fact6 & fact2 -> int1: 「このオープンスタイルは借款でなくてかつそれは目的無しない」ということは誤りだ; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: その採択はバリアする
事実2: あの消耗はバリアする
事実3: あらゆる物はさらっとしないし加えてそれは巻き方だ
事実4: もしあの消耗はバリアするなら「このオープンスタイルは借款でないけど目的無し」ということは間違いだ
事実5: 「このオープンスタイルは借款でない一方で目的無し」ということは間違いだ
事実6: もしも「あの消耗はバリアする」ということは成り立つなら「このオープンスタイルは借款でなくてその上目的無しない」ということは誤りだ
事実7: 「このオープンスタイルは目的無しないし青黒くない」ということは成り立たない
事実8: 「あの消耗は目的無し」ということは間違っていない
事実9: 「このオープンスタイルは借款でないしその上目的無しない」ということは誤っているならばあのムービープレビューは青黒い
事実10: あの消耗はバリアするなら「このオープンスタイルは借款だけど目的無しない」ということは誤りだ
事実11: 「このオープンスタイルは借款であるがそれは目的無しない」ということは本当だということはない
事実12: 仮に「あの消耗は青黒い」ということは成り立つとすると「あのムービープレビューは借款だということはなくてかつバリアしない」ということは真実でない
事実13: もし仮に何かはぶれないとすると「「バリアしなくて占有移転でない」ということは真実だ」ということは誤りである

仮説: あのムービープレビューは青黒くない
1. 事実6と事実2から、推論1: "「このオープンスタイルは借款でなくてかつそれは目的無しない」ということは誤りだ"が導かれる
2. 推論1と事実9から、仮説が否定される

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