「この繁盛地は出向くかまたはフランス革命以後であるかあるいは両方だ」ということは嘘である
fact1: その朝敵はフランス革命以後でない fact2: 何かは回収方法でまた出向く fact3: この繁盛地は期待し難くない fact4: 何かはフランス革命以後だし捨つ fact5: あの世界速度記録は回収方法でない fact6: その副理事長は回収方法でない一方で捨つ fact7: もしも「回収方法だということはなくて捨つ」物はあるとすれば「あの世界速度記録は出向く」ということは成り立たない fact8: このマラヤ版は捨つない fact9: その副理事長は出向くということはないけど捨つ fact10: あの世界速度記録は捨つない fact11: 仮に「あの世界速度記録は出向かない」ということは誤っていないとするとこの繁盛地は出向くかあるいはフランス革命以後であるかもしくは両方ともだ fact12: この繁盛地は一問一答式でない fact13: この繁盛地は不味いということはない fact14: その副理事長は興味深いかもしくは回収方法だ fact15: なにがしかのものはフランス革命以後だということはない一方でそれは出向く fact16: 「領域性でない」ものはある fact17: この繁盛地はフランス革命以後でないけど捨つ fact18: 「出向くし回収方法な」ものはある fact19: なんらかの物は出向く fact20: 「フランス革命以後でないけれど捨つ」物はある
fact6 -> int1: 「回収方法でなくて加えて捨つ」ものはある; int1 & fact7 -> int2: あの世界速度記録は出向かない; int2 & fact11 -> hypothesis;
fact6 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact11 -> hypothesis;
$facts$ = fact1: その朝敵はフランス革命以後でない fact2: 何かは回収方法でまた出向く fact3: この繁盛地は期待し難くない fact4: 何かはフランス革命以後だし捨つ fact5: あの世界速度記録は回収方法でない fact6: その副理事長は回収方法でない一方で捨つ fact7: もしも「回収方法だということはなくて捨つ」物はあるとすれば「あの世界速度記録は出向く」ということは成り立たない fact8: このマラヤ版は捨つない fact9: その副理事長は出向くということはないけど捨つ fact10: あの世界速度記録は捨つない fact11: 仮に「あの世界速度記録は出向かない」ということは誤っていないとするとこの繁盛地は出向くかあるいはフランス革命以後であるかもしくは両方ともだ fact12: この繁盛地は一問一答式でない fact13: この繁盛地は不味いということはない fact14: その副理事長は興味深いかもしくは回収方法だ fact15: なにがしかのものはフランス革命以後だということはない一方でそれは出向く fact16: 「領域性でない」ものはある fact17: この繁盛地はフランス革命以後でないけど捨つ fact18: 「出向くし回収方法な」ものはある fact19: なんらかの物は出向く fact20: 「フランス革命以後でないけれど捨つ」物はある ; $hypothesis$ = 「この繁盛地は出向くかまたはフランス革命以後であるかあるいは両方だ」ということは嘘である ; $proof$ = 
fact6 -> int1: 「回収方法でなくて加えて捨つ」ものはある; int1 & fact7 -> int2: あの世界速度記録は出向かない; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: その朝敵はフランス革命以後でない
事実2: 何かは回収方法でまた出向く
事実3: この繁盛地は期待し難くない
事実4: 何かはフランス革命以後だし捨つ
事実5: あの世界速度記録は回収方法でない
事実6: その副理事長は回収方法でない一方で捨つ
事実7: もしも「回収方法だということはなくて捨つ」物はあるとすれば「あの世界速度記録は出向く」ということは成り立たない
事実8: このマラヤ版は捨つない
事実9: その副理事長は出向くということはないけど捨つ
事実10: あの世界速度記録は捨つない
事実11: 仮に「あの世界速度記録は出向かない」ということは誤っていないとするとこの繁盛地は出向くかあるいはフランス革命以後であるかもしくは両方ともだ
事実12: この繁盛地は一問一答式でない
事実13: この繁盛地は不味いということはない
事実14: その副理事長は興味深いかもしくは回収方法だ
事実15: なにがしかのものはフランス革命以後だということはない一方でそれは出向く
事実16: 「領域性でない」ものはある
事実17: この繁盛地はフランス革命以後でないけど捨つ
事実18: 「出向くし回収方法な」ものはある
事実19: なんらかの物は出向く
事実20: 「フランス革命以後でないけれど捨つ」物はある

仮説: 「この繁盛地は出向くかまたはフランス革命以後であるかあるいは両方だ」ということは嘘である
1. 事実6から、推論1: "「回収方法でなくて加えて捨つ」ものはある"が導かれる
2. 推論1と事実7から、推論2: "あの世界速度記録は出向かない"が導かれる
3. 推論2と事実11から、仮説が否定される

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