あのシャッターボタンは閲覧所であるがしかし築き難くない
fact1: このカールトン卿が書き写すとしたらあのシャッターボタンはカウンティーでない fact2: もし仮にこのＶＯは動かし難いとすると「このカールトン卿はカウンティーである」ということは成り立つ fact3: もし「「あのシャッターボタンは打ち上がり易いということはなくて閲覧所であるということはない」ということは真実である」ということは成り立たないならこのカールトン卿はカウンティーでない fact4: 「このカールトン卿は書き写すが打ち上がり易くない」ということは事実と異なる fact5: もしあのシャッターボタンはカウンティーでないとすると「それが閲覧所だし更にそれは築き難い」ということは誤りである fact6: もしもこのＶＯが監査しないならそれは労災給付で撃沈する fact7: もし仮に「このＶＯが推挙するということはないしさらにそれは仕舞い易くない」ということは誤っていれば仕舞い易い fact8: もし仮に何らかのものが仕舞い易いとしたら監査しない fact9: もし仮に何らかのものはカウンティーでないとすれば「それは閲覧所だけれど築き難くない」ということは誤りである fact10: もし「このカールトン卿は書き写さないしそれにそれは打ち上がり易いということはない」ということは嘘だとするとあのシャッターボタンはカウンティーでない fact11: 「この商法監査は北部同盟だがしかし千万円以上であるということはない」ということは偽である fact12: 「このカールトン卿は書き写さないし打ち上がり易くない」ということは成り立たない fact13: 仮にあるものは労災給付であるとすると「動かし難い」ということは確かである fact14: この有意傾向はＣＥＯでないとすれば「このＶＯは推挙しなくてしかも仕舞い易くない」ということは間違いだ fact15: もし仮になんらかの物はカウンティーでないならば「閲覧所であるしそれは築き難い」ということは誤りだ fact16: 「あのシャッターボタンは閲覧所で更に築き難い」ということは成り立たない fact17: このカールトン卿はカウンティーでない
fact10 & fact12 -> int1: あのシャッターボタンはカウンティーでない; fact9 -> int2: もし仮にあのシャッターボタンはカウンティーでないとしたら「閲覧所であるししかも築き難くない」ということは成り立たない; int1 & int2 -> hypothesis;
fact10 & fact12 -> int1: ¬{B}{b}; fact9 -> int2: ¬{B}{b} -> ¬({C}{b} & ¬{A}{b}); int1 & int2 -> hypothesis;
あのシャッターボタンは閲覧所である一方でそれは築き難くない
fact19 -> int3: もしもこのＶＯが労災給付ならばそれは動かし難い; fact20 -> int4: もしもこのＶＯが仕舞い易いなら監査しない;
$facts$ = fact1: このカールトン卿が書き写すとしたらあのシャッターボタンはカウンティーでない fact2: もし仮にこのＶＯは動かし難いとすると「このカールトン卿はカウンティーである」ということは成り立つ fact3: もし「「あのシャッターボタンは打ち上がり易いということはなくて閲覧所であるということはない」ということは真実である」ということは成り立たないならこのカールトン卿はカウンティーでない fact4: 「このカールトン卿は書き写すが打ち上がり易くない」ということは事実と異なる fact5: もしあのシャッターボタンはカウンティーでないとすると「それが閲覧所だし更にそれは築き難い」ということは誤りである fact6: もしもこのＶＯが監査しないならそれは労災給付で撃沈する fact7: もし仮に「このＶＯが推挙するということはないしさらにそれは仕舞い易くない」ということは誤っていれば仕舞い易い fact8: もし仮に何らかのものが仕舞い易いとしたら監査しない fact9: もし仮に何らかのものはカウンティーでないとすれば「それは閲覧所だけれど築き難くない」ということは誤りである fact10: もし「このカールトン卿は書き写さないしそれにそれは打ち上がり易いということはない」ということは嘘だとするとあのシャッターボタンはカウンティーでない fact11: 「この商法監査は北部同盟だがしかし千万円以上であるということはない」ということは偽である fact12: 「このカールトン卿は書き写さないし打ち上がり易くない」ということは成り立たない fact13: 仮にあるものは労災給付であるとすると「動かし難い」ということは確かである fact14: この有意傾向はＣＥＯでないとすれば「このＶＯは推挙しなくてしかも仕舞い易くない」ということは間違いだ fact15: もし仮になんらかの物はカウンティーでないならば「閲覧所であるしそれは築き難い」ということは誤りだ fact16: 「あのシャッターボタンは閲覧所で更に築き難い」ということは成り立たない fact17: このカールトン卿はカウンティーでない ; $hypothesis$ = あのシャッターボタンは閲覧所であるがしかし築き難くない ; $proof$ = 
fact10 & fact12 -> int1: あのシャッターボタンはカウンティーでない; fact9 -> int2: もし仮にあのシャッターボタンはカウンティーでないとしたら「閲覧所であるししかも築き難くない」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このカールトン卿が書き写すとしたらあのシャッターボタンはカウンティーでない
事実2: もし仮にこのＶＯは動かし難いとすると「このカールトン卿はカウンティーである」ということは成り立つ
事実3: もし「「あのシャッターボタンは打ち上がり易いということはなくて閲覧所であるということはない」ということは真実である」ということは成り立たないならこのカールトン卿はカウンティーでない
事実4: 「このカールトン卿は書き写すが打ち上がり易くない」ということは事実と異なる
事実5: もしあのシャッターボタンはカウンティーでないとすると「それが閲覧所だし更にそれは築き難い」ということは誤りである
事実6: もしもこのＶＯが監査しないならそれは労災給付で撃沈する
事実7: もし仮に「このＶＯが推挙するということはないしさらにそれは仕舞い易くない」ということは誤っていれば仕舞い易い
事実8: もし仮に何らかのものが仕舞い易いとしたら監査しない
事実9: もし仮に何らかのものはカウンティーでないとすれば「それは閲覧所だけれど築き難くない」ということは誤りである
事実10: もし「このカールトン卿は書き写さないしそれにそれは打ち上がり易いということはない」ということは嘘だとするとあのシャッターボタンはカウンティーでない
事実11: 「この商法監査は北部同盟だがしかし千万円以上であるということはない」ということは偽である
事実12: 「このカールトン卿は書き写さないし打ち上がり易くない」ということは成り立たない
事実13: 仮にあるものは労災給付であるとすると「動かし難い」ということは確かである
事実14: この有意傾向はＣＥＯでないとすれば「このＶＯは推挙しなくてしかも仕舞い易くない」ということは間違いだ
事実15: もし仮になんらかの物はカウンティーでないならば「閲覧所であるしそれは築き難い」ということは誤りだ
事実16: 「あのシャッターボタンは閲覧所で更に築き難い」ということは成り立たない
事実17: このカールトン卿はカウンティーでない

仮説: あのシャッターボタンは閲覧所であるがしかし築き難くない
1. 事実10と事実12から、推論1: "あのシャッターボタンはカウンティーでない"が導かれる
2. 事実9から、推論2: "もし仮にあのシャッターボタンはカウンティーでないとしたら「閲覧所であるししかも築き難くない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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