この額面価格は長州藩士でない
fact1: この試衛館道場は平和型であるなら「烏瞰図でないしかつノーデインターフェイスでない」ということは嘘だ fact2: 仮に「とあるものは烏瞰図でないしそれはノーデインターフェイスでない」ということは成り立たないなら味わい深い fact3: その大橋は繰り返し遣るということはない fact4: もし「電飾だしさらに精進すらない」ものはあるとしたら「この宴会不可は懐っこくない」ということは事実である fact5: 「もし「「ＵＶＷマップであるがしかししっくりしない」ということは成り立たない」物はあるとしたら「あのネオンサインはＵＶＷマップでない」ということは成り立つ」ということは成り立つ fact6: もしこの宴会不可は懐っこくないとすると「あの十年分はＵＶＷマップであるがしかしそれはしっくりしない」ということは本当だということはない fact7: なんらかのものは破裂するがしかしそれはパーセルだということはない fact8: この世界教育学撰集は破裂しない fact9: 味わい深い物があるとすればあのボイルド・ビーフは電飾である一方でそれは精進すらない fact10: その寄り付きは繰り返し遣るということはない fact11: 「なんらかの物は破裂しないしパーセルでない」ということは間違いでないとしたらこの額面価格は長州藩士である fact12: もし仮にその大橋が繰り返し遣らないとしたらそれが破裂しないしさらにそれはパーセルであるということはない fact13: もしもその大橋が破裂しないならばそれはパーセルでないしおまけに長州藩士でない fact14: なにがしかの物は繰り返し遣らない fact15: 仮にそのアクション属性が平和型だとしたらこの試衛館道場は平和型だ fact16: もしもあのネオンサインはＵＶＷマップでないとしたら「その大橋は繰り返し遣るがしかしそれは近しくない」ということは成り立たない fact17: そのアクション属性は平和型だ
fact12 & fact3 -> int1: その大橋は破裂しないししかもパーセルだということはない; int1 -> int2: 「破裂しないしパーセルでない」ものはある; int2 & fact11 -> hypothesis;
fact12 & fact3 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): (¬{AA}x & ¬{AB}x); int2 & fact11 -> hypothesis;
この額面価格は長州藩士でない
fact23 -> int3: もしも「この試衛館道場は烏瞰図でなくてノーデインターフェイスでない」ということは成り立たないとすればそれは味わい深い; fact25 & fact24 -> int4: この試衛館道場は平和型である; fact26 & int4 -> int5: 「「この試衛館道場は烏瞰図でなくてノーデインターフェイスでない」ということは成り立つ」ということは真実でない; int3 & int5 -> int6: 「この試衛館道場は味わい深い」ということは誤りであるということはない; int6 -> int7: 「「味わい深い」ということは成り立つ」ものはある; int7 & fact22 -> int8: このボイルド・ビーフは電飾だけど精進すということはない; int8 -> int9: 「「電飾だ一方で精進すらない」ということは間違いでない」ものはある; int9 & fact20 -> int10: この宴会不可は懐っこくない; fact19 & int10 -> int11: 「あの十年分はＵＶＷマップであるがしかししっくりしない」ということは事実と異なる; int11 -> int12: 「「ＵＶＷマップであるしおまけにしっくりしない」ということは確かでない」ものはある; int12 & fact18 -> int13: あのネオンサインはＵＶＷマップだということはない; fact21 & int13 -> int14: 「その大橋は繰り返し遣るが近しくない」ということは成り立たない; int14 -> int15: 「「繰り返し遣るし近しくない」ということは嘘な」ものはある;
$facts$ = fact1: この試衛館道場は平和型であるなら「烏瞰図でないしかつノーデインターフェイスでない」ということは嘘だ fact2: 仮に「とあるものは烏瞰図でないしそれはノーデインターフェイスでない」ということは成り立たないなら味わい深い fact3: その大橋は繰り返し遣るということはない fact4: もし「電飾だしさらに精進すらない」ものはあるとしたら「この宴会不可は懐っこくない」ということは事実である fact5: 「もし「「ＵＶＷマップであるがしかししっくりしない」ということは成り立たない」物はあるとしたら「あのネオンサインはＵＶＷマップでない」ということは成り立つ」ということは成り立つ fact6: もしこの宴会不可は懐っこくないとすると「あの十年分はＵＶＷマップであるがしかしそれはしっくりしない」ということは本当だということはない fact7: なんらかのものは破裂するがしかしそれはパーセルだということはない fact8: この世界教育学撰集は破裂しない fact9: 味わい深い物があるとすればあのボイルド・ビーフは電飾である一方でそれは精進すらない fact10: その寄り付きは繰り返し遣るということはない fact11: 「なんらかの物は破裂しないしパーセルでない」ということは間違いでないとしたらこの額面価格は長州藩士である fact12: もし仮にその大橋が繰り返し遣らないとしたらそれが破裂しないしさらにそれはパーセルであるということはない fact13: もしもその大橋が破裂しないならばそれはパーセルでないしおまけに長州藩士でない fact14: なにがしかの物は繰り返し遣らない fact15: 仮にそのアクション属性が平和型だとしたらこの試衛館道場は平和型だ fact16: もしもあのネオンサインはＵＶＷマップでないとしたら「その大橋は繰り返し遣るがしかしそれは近しくない」ということは成り立たない fact17: そのアクション属性は平和型だ ; $hypothesis$ = この額面価格は長州藩士でない ; $proof$ = 
fact12 & fact3 -> int1: その大橋は破裂しないししかもパーセルだということはない; int1 -> int2: 「破裂しないしパーセルでない」ものはある; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: この試衛館道場は平和型であるなら「烏瞰図でないしかつノーデインターフェイスでない」ということは嘘だ
事実2: 仮に「とあるものは烏瞰図でないしそれはノーデインターフェイスでない」ということは成り立たないなら味わい深い
事実3: その大橋は繰り返し遣るということはない
事実4: もし「電飾だしさらに精進すらない」ものはあるとしたら「この宴会不可は懐っこくない」ということは事実である
事実5: 「もし「「ＵＶＷマップであるがしかししっくりしない」ということは成り立たない」物はあるとしたら「あのネオンサインはＵＶＷマップでない」ということは成り立つ」ということは成り立つ
事実6: もしこの宴会不可は懐っこくないとすると「あの十年分はＵＶＷマップであるがしかしそれはしっくりしない」ということは本当だということはない
事実7: なんらかのものは破裂するがしかしそれはパーセルだということはない
事実8: この世界教育学撰集は破裂しない
事実9: 味わい深い物があるとすればあのボイルド・ビーフは電飾である一方でそれは精進すらない
事実10: その寄り付きは繰り返し遣るということはない
事実11: 「なんらかの物は破裂しないしパーセルでない」ということは間違いでないとしたらこの額面価格は長州藩士である
事実12: もし仮にその大橋が繰り返し遣らないとしたらそれが破裂しないしさらにそれはパーセルであるということはない
事実13: もしもその大橋が破裂しないならばそれはパーセルでないしおまけに長州藩士でない
事実14: なにがしかの物は繰り返し遣らない
事実15: 仮にそのアクション属性が平和型だとしたらこの試衛館道場は平和型だ
事実16: もしもあのネオンサインはＵＶＷマップでないとしたら「その大橋は繰り返し遣るがしかしそれは近しくない」ということは成り立たない
事実17: そのアクション属性は平和型だ

仮説: この額面価格は長州藩士でない
1. 事実12と事実3から、推論1: "その大橋は破裂しないししかもパーセルだということはない"が導かれる
2. 推論1から、推論2: "「破裂しないしパーセルでない」ものはある"が導かれる
3. 推論2と事実11から、仮説が否定される

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