あの社会的連帯は縒れる
fact1: もしもあの余りがくどいとしたらその文献通考は蒸し暑い fact2: あの余りはくどい fact3: もし仮にその文献通考が蒸し暑いし更にそれが崩れ易いとすればあの社会的連帯は縒れない fact4: 仮にその文献通考は訴訟指揮権であるとしたらそれは崩れ易い fact5: その文献通考は訴訟指揮権だ
fact1 & fact2 -> int1: その文献通考は蒸し暑い; fact5 & fact4 -> int2: その文献通考は崩れ易い; int1 & int2 -> int3: その文献通考は蒸し暑いし加えて崩れ易い; int3 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; fact5 & fact4 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); int3 & fact3 -> hypothesis;
$facts$ = fact1: もしもあの余りがくどいとしたらその文献通考は蒸し暑い fact2: あの余りはくどい fact3: もし仮にその文献通考が蒸し暑いし更にそれが崩れ易いとすればあの社会的連帯は縒れない fact4: 仮にその文献通考は訴訟指揮権であるとしたらそれは崩れ易い fact5: その文献通考は訴訟指揮権だ ; $hypothesis$ = あの社会的連帯は縒れる ; $proof$ = 
fact1 & fact2 -> int1: その文献通考は蒸し暑い; fact5 & fact4 -> int2: その文献通考は崩れ易い; int1 & int2 -> int3: その文献通考は蒸し暑いし加えて崩れ易い; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの余りがくどいとしたらその文献通考は蒸し暑い
事実2: あの余りはくどい
事実3: もし仮にその文献通考が蒸し暑いし更にそれが崩れ易いとすればあの社会的連帯は縒れない
事実4: 仮にその文献通考は訴訟指揮権であるとしたらそれは崩れ易い
事実5: その文献通考は訴訟指揮権だ

仮説: あの社会的連帯は縒れる
1. 事実1と事実2から、推論1: "その文献通考は蒸し暑い"が導かれる
2. 事実5と事実4から、推論2: "その文献通考は崩れ易い"が導かれる
3. 推論1と推論2から、推論3: "その文献通考は蒸し暑いし加えて崩れ易い"が導かれる
4. 推論3と事実3から、仮説が否定される

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