もしその精神病理は長らえらないとすれば「その保護観察官協会は左側通行でないがしかし海際である」ということは誤りである
fact1: 仮にその精神病理が長らえないとしたらその保護観察官協会は左側通行でないけれどそれは海際である fact2: もし仮にその精神病理は長らえるとしたら「その保護観察官協会は左側通行でないがしかしそれは海際だ」ということは成り立たない fact3: その保護観察官協会はピーククリッパだ fact4: その利害は左側通行である fact5: その精神病理はドラゴンズである fact6: その保護観察官協会が床しいならその精神病理は長らえる fact7: もし「その保護観察官協会は海際だ」ということは真実であるとすれば床しい fact8: 床しかない物は海際であるかまたは左側通行であるかあるいは両方である fact9: もし仮にその精神病理は左側通行だとすれば「その保護観察官協会は床しいということはないけど長らえる」ということは嘘である fact10: その精神病理は当該企業でない一方でそれは凝結する fact11: あの六万五千人は角回だということはない一方で長らえる fact12: その保護観察官協会は左側通行でない fact13: もしその保護観察官協会が悶うなら御座る fact14: このフォトレジストは体得するがそれは内蔵助だということはない fact15: 「その保護観察官協会は左側通行であるしおまけにそれは海際である」ということは誤りだ fact16: もしもその精神病理は長らえるということはないとしたら「その保護観察官協会は左側通行で海際である」ということは嘘だ fact17: ある物が長らえるしかつ体得するとすればそれは床しかない fact18: もしその精神病理が海際でないならばその保護観察官協会は床しかないがしかしそれは長らえる fact19: その精神病理は左側通行でない fact20: 「その保護観察官協会は長らえないけどそれは床しい」ということは事実と異なる
void -> assump1: 以下のように仮定する。その保護観察官協会は左側通行でないけど海際だ; assump1 -> int1: その保護観察官協会は海際である; int1 & fact7 -> int2: 「その保護観察官協会は床しい」ということは成り立つ; int2 & fact6 -> int3: その精神病理は長らえる; void -> assump2: 以下のように仮定する。その精神病理は長らえない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その保護観察官協会は左側通行であるということはないけれどそれは海際だ」ということは事実と異なる; [assump2] & int5 -> hypothesis;
その精神病理は床しい
fact21 -> int6: 「体得するし更に内蔵助でない」ものはある;
$facts$ = fact1: 仮にその精神病理が長らえないとしたらその保護観察官協会は左側通行でないけれどそれは海際である fact2: もし仮にその精神病理は長らえるとしたら「その保護観察官協会は左側通行でないがしかしそれは海際だ」ということは成り立たない fact3: その保護観察官協会はピーククリッパだ fact4: その利害は左側通行である fact5: その精神病理はドラゴンズである fact6: その保護観察官協会が床しいならその精神病理は長らえる fact7: もし「その保護観察官協会は海際だ」ということは真実であるとすれば床しい fact8: 床しかない物は海際であるかまたは左側通行であるかあるいは両方である fact9: もし仮にその精神病理は左側通行だとすれば「その保護観察官協会は床しいということはないけど長らえる」ということは嘘である fact10: その精神病理は当該企業でない一方でそれは凝結する fact11: あの六万五千人は角回だということはない一方で長らえる fact12: その保護観察官協会は左側通行でない fact13: もしその保護観察官協会が悶うなら御座る fact14: このフォトレジストは体得するがそれは内蔵助だということはない fact15: 「その保護観察官協会は左側通行であるしおまけにそれは海際である」ということは誤りだ fact16: もしもその精神病理は長らえるということはないとしたら「その保護観察官協会は左側通行で海際である」ということは嘘だ fact17: ある物が長らえるしかつ体得するとすればそれは床しかない fact18: もしその精神病理が海際でないならばその保護観察官協会は床しかないがしかしそれは長らえる fact19: その精神病理は左側通行でない fact20: 「その保護観察官協会は長らえないけどそれは床しい」ということは事実と異なる ; $hypothesis$ = もしその精神病理は長らえらないとすれば「その保護観察官協会は左側通行でないがしかし海際である」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。その保護観察官協会は左側通行でないけど海際だ; assump1 -> int1: その保護観察官協会は海際である; int1 & fact7 -> int2: 「その保護観察官協会は床しい」ということは成り立つ; int2 & fact6 -> int3: その精神病理は長らえる; void -> assump2: 以下のように仮定する。その精神病理は長らえない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その保護観察官協会は左側通行であるということはないけれどそれは海際だ」ということは事実と異なる; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 仮にその精神病理が長らえないとしたらその保護観察官協会は左側通行でないけれどそれは海際である
事実2: もし仮にその精神病理は長らえるとしたら「その保護観察官協会は左側通行でないがしかしそれは海際だ」ということは成り立たない
事実3: その保護観察官協会はピーククリッパだ
事実4: その利害は左側通行である
事実5: その精神病理はドラゴンズである
事実6: その保護観察官協会が床しいならその精神病理は長らえる
事実7: もし「その保護観察官協会は海際だ」ということは真実であるとすれば床しい
事実8: 床しかない物は海際であるかまたは左側通行であるかあるいは両方である
事実9: もし仮にその精神病理は左側通行だとすれば「その保護観察官協会は床しいということはないけど長らえる」ということは嘘である
事実10: その精神病理は当該企業でない一方でそれは凝結する
事実11: あの六万五千人は角回だということはない一方で長らえる
事実12: その保護観察官協会は左側通行でない
事実13: もしその保護観察官協会が悶うなら御座る
事実14: このフォトレジストは体得するがそれは内蔵助だということはない
事実15: 「その保護観察官協会は左側通行であるしおまけにそれは海際である」ということは誤りだ
事実16: もしもその精神病理は長らえるということはないとしたら「その保護観察官協会は左側通行で海際である」ということは嘘だ
事実17: ある物が長らえるしかつ体得するとすればそれは床しかない
事実18: もしその精神病理が海際でないならばその保護観察官協会は床しかないがしかしそれは長らえる
事実19: その精神病理は左側通行でない
事実20: 「その保護観察官協会は長らえないけどそれは床しい」ということは事実と異なる

仮説: もしその精神病理は長らえらないとすれば「その保護観察官協会は左側通行でないがしかし海際である」ということは誤りである
1. 仮定1: 以下のように仮定する。その保護観察官協会は左側通行でないけど海際だ
2. 仮定1から、推論1: "その保護観察官協会は海際である"が導かれる
3. 推論1と事実7から、推論2: "「その保護観察官協会は床しい」ということは成り立つ"が導かれる
4. 推論2と事実6から、推論3: "その精神病理は長らえる"が導かれる
5. 仮定2: 以下のように仮定する。その精神病理は長らえない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その保護観察官協会は左側通行であるということはないけれどそれは海際だ」ということは事実と異なる"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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