もしもあのヨルダン・ハシミテ王国が両刃であるとしたらあのシャトーは検査入院である
fact1: 「あのシャトーは叩打するし更に単独世帯である」ということは偽であるとしたらあのヨルダン・ハシミテ王国は両刃でない fact2: ある物が検査入院でなくてそれは御呼び出さないとすれば「それは両刃である」ということは成り立つ fact3: もしある物は検査入院ならば「叩打するしさらに単独世帯である」ということは誤りだ fact4: 「あのシャトーは到着であるしそれに検査入院である」ということは嘘である fact5: 何かは悪過ぎないとすれば「それは前段階でなくてまた与え得ない」ということは事実と異なる fact6: もしあのヨルダン・ハシミテ王国が口汚いとするとあのシャトーは悪過ぎない fact7: あのシャトーは検査入院だとすると「叩打するしそれに単独世帯だ」ということは誤りである fact8: もし仮にその最高価値が口汚いならばあのヨルダン・ハシミテ王国は口汚い fact9: なにかは単独世帯でないなら「検査入院であるし両刃だ」ということは嘘だ fact10: その湿性高木林は単独世帯である fact11: もしもあのシャトーが単独世帯でないならあのヨルダン・ハシミテ王国は両刃でない fact12: もしなにがしかの物が突き出せばそれは検査入院でないしかつ御呼び出さない fact13: もしもその最高価値は装い続けるとすると「それは口汚い」ということは偽でない fact14: 「なにかは前段階だということはなくて更に与え得ない」ということは誤っているなら前段階である fact15: 何らかの物は検査入院でないとすると「「それは叩打するしそれは単独世帯である」ということは真実である」ということは間違いだ fact16: とあるものが前段階ならそれは突き出す
fact15 -> int1: もしあのシャトーは検査入院であるということはないとすれば「それは叩打するしおまけに単独世帯である」ということは間違いだ; void -> assump2: 以下のように仮定する。あのシャトーは検査入院でない; int1 & assump2 -> int2: 「あのシャトーは叩打するしおまけに単独世帯だ」ということは間違っている; int2 & fact1 -> int3: あのヨルダン・ハシミテ王国は両刃だということはない; void -> assump1: 以下のように仮定する。あのヨルダン・ハシミテ王国は両刃である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あのシャトーは検査入院だ; [assump1] & int5 -> hypothesis;
あのシャトーは両刃である
fact21 -> int6: もしもあのシャトーが検査入院でないしさらにそれが御呼び出さないとすると両刃である; fact24 -> int7: 「あのシャトーは突き出す」ということは成り立つとしたら検査入院であるということはないし御呼び出さない; fact20 -> int8: あのシャトーは前段階であるとすると突き出す; fact22 -> int9: もし「あのシャトーは前段階でないし与え得ない」ということは成り立たないならばそれは前段階だ; fact18 -> int10: もしあのシャトーは悪過ぎるということはないなら「前段階でなくて与え得ない」ということは嘘である;
$facts$ = fact1: 「あのシャトーは叩打するし更に単独世帯である」ということは偽であるとしたらあのヨルダン・ハシミテ王国は両刃でない fact2: ある物が検査入院でなくてそれは御呼び出さないとすれば「それは両刃である」ということは成り立つ fact3: もしある物は検査入院ならば「叩打するしさらに単独世帯である」ということは誤りだ fact4: 「あのシャトーは到着であるしそれに検査入院である」ということは嘘である fact5: 何かは悪過ぎないとすれば「それは前段階でなくてまた与え得ない」ということは事実と異なる fact6: もしあのヨルダン・ハシミテ王国が口汚いとするとあのシャトーは悪過ぎない fact7: あのシャトーは検査入院だとすると「叩打するしそれに単独世帯だ」ということは誤りである fact8: もし仮にその最高価値が口汚いならばあのヨルダン・ハシミテ王国は口汚い fact9: なにかは単独世帯でないなら「検査入院であるし両刃だ」ということは嘘だ fact10: その湿性高木林は単独世帯である fact11: もしもあのシャトーが単独世帯でないならあのヨルダン・ハシミテ王国は両刃でない fact12: もしなにがしかの物が突き出せばそれは検査入院でないしかつ御呼び出さない fact13: もしもその最高価値は装い続けるとすると「それは口汚い」ということは偽でない fact14: 「なにかは前段階だということはなくて更に与え得ない」ということは誤っているなら前段階である fact15: 何らかの物は検査入院でないとすると「「それは叩打するしそれは単独世帯である」ということは真実である」ということは間違いだ fact16: とあるものが前段階ならそれは突き出す ; $hypothesis$ = もしもあのヨルダン・ハシミテ王国が両刃であるとしたらあのシャトーは検査入院である ; $proof$ = 
fact15 -> int1: もしあのシャトーは検査入院であるということはないとすれば「それは叩打するしおまけに単独世帯である」ということは間違いだ; void -> assump2: 以下のように仮定する。あのシャトーは検査入院でない; int1 & assump2 -> int2: 「あのシャトーは叩打するしおまけに単独世帯だ」ということは間違っている; int2 & fact1 -> int3: あのヨルダン・ハシミテ王国は両刃だということはない; void -> assump1: 以下のように仮定する。あのヨルダン・ハシミテ王国は両刃である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あのシャトーは検査入院だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「あのシャトーは叩打するし更に単独世帯である」ということは偽であるとしたらあのヨルダン・ハシミテ王国は両刃でない
事実2: ある物が検査入院でなくてそれは御呼び出さないとすれば「それは両刃である」ということは成り立つ
事実3: もしある物は検査入院ならば「叩打するしさらに単独世帯である」ということは誤りだ
事実4: 「あのシャトーは到着であるしそれに検査入院である」ということは嘘である
事実5: 何かは悪過ぎないとすれば「それは前段階でなくてまた与え得ない」ということは事実と異なる
事実6: もしあのヨルダン・ハシミテ王国が口汚いとするとあのシャトーは悪過ぎない
事実7: あのシャトーは検査入院だとすると「叩打するしそれに単独世帯だ」ということは誤りである
事実8: もし仮にその最高価値が口汚いならばあのヨルダン・ハシミテ王国は口汚い
事実9: なにかは単独世帯でないなら「検査入院であるし両刃だ」ということは嘘だ
事実10: その湿性高木林は単独世帯である
事実11: もしもあのシャトーが単独世帯でないならあのヨルダン・ハシミテ王国は両刃でない
事実12: もしなにがしかの物が突き出せばそれは検査入院でないしかつ御呼び出さない
事実13: もしもその最高価値は装い続けるとすると「それは口汚い」ということは偽でない
事実14: 「なにかは前段階だということはなくて更に与え得ない」ということは誤っているなら前段階である
事実15: 何らかの物は検査入院でないとすると「「それは叩打するしそれは単独世帯である」ということは真実である」ということは間違いだ
事実16: とあるものが前段階ならそれは突き出す

仮説: もしもあのヨルダン・ハシミテ王国が両刃であるとしたらあのシャトーは検査入院である
1. 事実15から、推論1: "もしあのシャトーは検査入院であるということはないとすれば「それは叩打するしおまけに単独世帯である」ということは間違いだ"が導かれる
2. 仮定2: 以下のように仮定する。あのシャトーは検査入院でない
3. 推論1と仮定2から、推論2: "「あのシャトーは叩打するしおまけに単独世帯だ」ということは間違っている"が導かれる
4. 推論2と事実1から、推論3: "あのヨルダン・ハシミテ王国は両刃だということはない"が導かれる
5. 仮定1: 以下のように仮定する。あのヨルダン・ハシミテ王国は両刃である
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あのシャトーは検査入院だ"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。