この西側陣営は二百年前だ
fact1: その混注はそうする fact2: もしもその混注が二百年前だし更に大斜であるとしたらこの西側陣営はそうしない fact3: もしとある物は大斜でないとしたら二百年前でそうする fact4: この西側陣営がこそばゆくないとすると二百年前でない fact5: 仮に「何かは体操する」ということは事実であるとすると「それは他愛無いか廓清するということはないか両方ともだ」ということは嘘だ fact6: あの入声がこそばゆくないとしたら引き起こし易くない fact7: その混注はこそばゆくない fact8: その混注は大斜である fact9: その混注は二百年前である fact10: もしも「その若葉広場は他愛無いか廓清しないかあるいは両方だ」ということは成り立たないとしたらその混注は他愛無い fact11: あるものは体操しないしさらに他愛無いということはない fact12: もしもその混注がそうするし大斜だとしたら「この西側陣営はこそばゆくない」ということは成り立つ fact13: その混注が他愛無いとしたらこの西側陣営は大斜でなくて更にこそばゆくない fact14: その薄明はそうする
fact1 & fact8 -> int1: その混注はそうするし大斜である; int1 & fact12 -> int2: この西側陣営はこそばゆいということはない; int2 & fact4 -> hypothesis;
fact1 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact12 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
この西側陣営は二百年前である
fact15 -> int3: もし仮にこの西側陣営は大斜でないならそれは二百年前だしまたそうする; fact16 -> int4: その若葉広場は体操するとすれば「それは他愛無いかもしくは廓清しないかもしくは両方である」ということは本当でない;
$facts$ = fact1: その混注はそうする fact2: もしもその混注が二百年前だし更に大斜であるとしたらこの西側陣営はそうしない fact3: もしとある物は大斜でないとしたら二百年前でそうする fact4: この西側陣営がこそばゆくないとすると二百年前でない fact5: 仮に「何かは体操する」ということは事実であるとすると「それは他愛無いか廓清するということはないか両方ともだ」ということは嘘だ fact6: あの入声がこそばゆくないとしたら引き起こし易くない fact7: その混注はこそばゆくない fact8: その混注は大斜である fact9: その混注は二百年前である fact10: もしも「その若葉広場は他愛無いか廓清しないかあるいは両方だ」ということは成り立たないとしたらその混注は他愛無い fact11: あるものは体操しないしさらに他愛無いということはない fact12: もしもその混注がそうするし大斜だとしたら「この西側陣営はこそばゆくない」ということは成り立つ fact13: その混注が他愛無いとしたらこの西側陣営は大斜でなくて更にこそばゆくない fact14: その薄明はそうする ; $hypothesis$ = この西側陣営は二百年前だ ; $proof$ = 
fact1 & fact8 -> int1: その混注はそうするし大斜である; int1 & fact12 -> int2: この西側陣営はこそばゆいということはない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: その混注はそうする
事実2: もしもその混注が二百年前だし更に大斜であるとしたらこの西側陣営はそうしない
事実3: もしとある物は大斜でないとしたら二百年前でそうする
事実4: この西側陣営がこそばゆくないとすると二百年前でない
事実5: 仮に「何かは体操する」ということは事実であるとすると「それは他愛無いか廓清するということはないか両方ともだ」ということは嘘だ
事実6: あの入声がこそばゆくないとしたら引き起こし易くない
事実7: その混注はこそばゆくない
事実8: その混注は大斜である
事実9: その混注は二百年前である
事実10: もしも「その若葉広場は他愛無いか廓清しないかあるいは両方だ」ということは成り立たないとしたらその混注は他愛無い
事実11: あるものは体操しないしさらに他愛無いということはない
事実12: もしもその混注がそうするし大斜だとしたら「この西側陣営はこそばゆくない」ということは成り立つ
事実13: その混注が他愛無いとしたらこの西側陣営は大斜でなくて更にこそばゆくない
事実14: その薄明はそうする

仮説: この西側陣営は二百年前だ
1. 事実1と事実8から、推論1: "その混注はそうするし大斜である"が導かれる
2. 推論1と事実12から、推論2: "この西側陣営はこそばゆいということはない"が導かれる
3. 推論2と事実4から、仮説が否定される

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