「あのアレンジは転勤するし更に取り合う」ということは成り立たない
fact1: あの二十数年前が携行するかまたは浄土宗であるとするとあのトタン屋根は名付けない fact2: もし仮にあのトタン屋根が名付けるということはないならあのアレンジは転勤するし取り合う fact3: 仮にあのアレンジが転勤しないならあの二十数年前は取り合うし浄土宗だ fact4: もし仮にあのトタン屋根が取り合わないとするとあのアレンジは名付ける fact5: もし仮にあのアレンジが携行するとすればあの二十数年前は取り合わない fact6: 何らかの物が信仰深いということはないかあるいはそれは名付けないかもしくは両方ともだとしたら名付けない fact7: もし仮にえげつない物はしらばくれるとすれば「それは有り難がらない」ということは本当である fact8: 「ある物は信仰深いがキックしない」ということは誤りであるならばそれは名付けるということはない fact9: もし何かは名付けるということはないとすると貸し為さるしかつそれは転勤する fact10: あのトタン屋根は相応しかない fact11: もし仮にあの罪障は輸出指向工業化でないならそれはキックするし取り合う fact12: あの二十数年前は名付けない fact13: なにがしかの物が相応しかないならそれはえげつなくてさらにしらばくれる fact14: もしも何かは名付けないとすると「転勤するし加えて取り合う」ということは真実であるということはない fact15: もしも「あのトタン屋根は輸出指向工業化だしそれに十三年度版である」ということは誤りだとすればあの二十数年前は輸出指向工業化でない fact16: もしもある物は有り難がらないなら「輸出指向工業化であるしかつそれは十三年度版だ」ということは成り立たない fact17: もしあの罪障が取り合うとしたら信仰深くないかまたは名付けるということはないかあるいは両方ともである fact18: あの二十数年前は携行するかまたは浄土宗だ fact19: あのアレンジが浄土宗でないとしたらあの二十数年前は転勤する
fact1 & fact18 -> int1: あのトタン屋根は名付けない; int1 & fact2 -> hypothesis;
fact1 & fact18 -> int1: ¬{B}{b}; int1 & fact2 -> hypothesis;
あの罪障は貸し為さるし浄土宗である
fact22 -> int2: 仮にあの罪障が名付けないならば貸し為さるし更に転勤する; fact23 -> int3: もしもあの罪障が信仰深くないかあるいはそれが名付けないとしたらそれは名付けるということはない;
$facts$ = fact1: あの二十数年前が携行するかまたは浄土宗であるとするとあのトタン屋根は名付けない fact2: もし仮にあのトタン屋根が名付けるということはないならあのアレンジは転勤するし取り合う fact3: 仮にあのアレンジが転勤しないならあの二十数年前は取り合うし浄土宗だ fact4: もし仮にあのトタン屋根が取り合わないとするとあのアレンジは名付ける fact5: もし仮にあのアレンジが携行するとすればあの二十数年前は取り合わない fact6: 何らかの物が信仰深いということはないかあるいはそれは名付けないかもしくは両方ともだとしたら名付けない fact7: もし仮にえげつない物はしらばくれるとすれば「それは有り難がらない」ということは本当である fact8: 「ある物は信仰深いがキックしない」ということは誤りであるならばそれは名付けるということはない fact9: もし何かは名付けるということはないとすると貸し為さるしかつそれは転勤する fact10: あのトタン屋根は相応しかない fact11: もし仮にあの罪障は輸出指向工業化でないならそれはキックするし取り合う fact12: あの二十数年前は名付けない fact13: なにがしかの物が相応しかないならそれはえげつなくてさらにしらばくれる fact14: もしも何かは名付けないとすると「転勤するし加えて取り合う」ということは真実であるということはない fact15: もしも「あのトタン屋根は輸出指向工業化だしそれに十三年度版である」ということは誤りだとすればあの二十数年前は輸出指向工業化でない fact16: もしもある物は有り難がらないなら「輸出指向工業化であるしかつそれは十三年度版だ」ということは成り立たない fact17: もしあの罪障が取り合うとしたら信仰深くないかまたは名付けるということはないかあるいは両方ともである fact18: あの二十数年前は携行するかまたは浄土宗だ fact19: あのアレンジが浄土宗でないとしたらあの二十数年前は転勤する ; $hypothesis$ = 「あのアレンジは転勤するし更に取り合う」ということは成り立たない ; $proof$ = 
fact1 & fact18 -> int1: あのトタン屋根は名付けない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの二十数年前が携行するかまたは浄土宗であるとするとあのトタン屋根は名付けない
事実2: もし仮にあのトタン屋根が名付けるということはないならあのアレンジは転勤するし取り合う
事実3: 仮にあのアレンジが転勤しないならあの二十数年前は取り合うし浄土宗だ
事実4: もし仮にあのトタン屋根が取り合わないとするとあのアレンジは名付ける
事実5: もし仮にあのアレンジが携行するとすればあの二十数年前は取り合わない
事実6: 何らかの物が信仰深いということはないかあるいはそれは名付けないかもしくは両方ともだとしたら名付けない
事実7: もし仮にえげつない物はしらばくれるとすれば「それは有り難がらない」ということは本当である
事実8: 「ある物は信仰深いがキックしない」ということは誤りであるならばそれは名付けるということはない
事実9: もし何かは名付けるということはないとすると貸し為さるしかつそれは転勤する
事実10: あのトタン屋根は相応しかない
事実11: もし仮にあの罪障は輸出指向工業化でないならそれはキックするし取り合う
事実12: あの二十数年前は名付けない
事実13: なにがしかの物が相応しかないならそれはえげつなくてさらにしらばくれる
事実14: もしも何かは名付けないとすると「転勤するし加えて取り合う」ということは真実であるということはない
事実15: もしも「あのトタン屋根は輸出指向工業化だしそれに十三年度版である」ということは誤りだとすればあの二十数年前は輸出指向工業化でない
事実16: もしもある物は有り難がらないなら「輸出指向工業化であるしかつそれは十三年度版だ」ということは成り立たない
事実17: もしあの罪障が取り合うとしたら信仰深くないかまたは名付けるということはないかあるいは両方ともである
事実18: あの二十数年前は携行するかまたは浄土宗だ
事実19: あのアレンジが浄土宗でないとしたらあの二十数年前は転勤する

仮説: 「あのアレンジは転勤するし更に取り合う」ということは成り立たない
1. 事実1と事実18から、推論1: "あのトタン屋根は名付けない"が導かれる
2. 推論1と事実2から、仮説が否定される

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