あの強圧法は伸び上がる
fact1: もしもこの借り入れ総額が代表取り締まり役社長だけれど稼働し始めないとすればこの研磨ナイロンパッドは代表取り締まり役社長でない fact2: 「舎利塔である」ものはある fact3: もしも「あの右室は市場化しないし成立し難いということはない」ということは誤りだとしたらこの上院議員は市場化しない fact4: もし仮になにがしかの物が理論化しないなら燃え易いしそれは御偉くない fact5: あの石碣は頷き返す fact6: この借り入れ総額は代表取り締まり役社長であるけれどそれは稼働し始めない fact7: もし「舎利塔である」ものはあるとすれば「この研究実践は頷き返すけれど舎利塔でない」ということは成り立つということはない fact8: 「香り付けしないけど市場化する」ものはある fact9: 仮にこの上院議員は固定資産でなくて香り付けしないとすると燃え易くない fact10: もしもなんらかのものが市場化しないならば固定資産でなくてそれは香り付けするということはない fact11: もしもこの借り入れ総額が代表取り締まり役社長でないとしたらあの強圧法は稼働し始めるかあるいは伸び上がる fact12: 仮にそのＬＥＧＴが燃え易いということはないとすればあの石碣は燃え易くない fact13: 仮に何らかの物が香り付けするということはないが市場化すればあの石碣は固定資産でない fact14: 仮にこの上院議員が理論化しなくてその上燃え易くないとするとそのＬＥＧＴは燃え易くない fact15: もしもあの強圧法が伸び上がるならこの研磨ナイロンパッドは代表取り締まり役社長だ fact16: この借り入れ総額が頷き返さないとするとこの研磨ナイロンパッドは理論化しないかそれは舎利塔だ fact17: 「この借り入れ総額は代表取り締まり役社長である」ということは正しい fact18: 代表取り締まり役社長は伸び上がる fact19: 「あの強圧法は稼働し始めない」ということは正しい fact20: あの石碣が頷き返すがしかし固定資産であるということはないとすればあの借り入れ総額は頷き返さない fact21: 「この研究実践は頷き返すけれどそれは舎利塔でない」ということは間違いであるならばこの上院議員は理論化するということはない fact22: なんらかのものが理論化しないかもしくは舎利塔であるかまたは両方ともであるとすればそれは理論化しない fact23: 燃え易くない物は代表取り締まり役社長でないかまたは御偉くないかあるいは両方ともだ
void -> assump1: 以下のように仮定する。あの強圧法は伸び上がる; fact15 & assump1 -> int1: この研磨ナイロンパッドは代表取り締まり役社長だ; fact1 & fact6 -> int2: この研磨ナイロンパッドは代表取り締まり役社長でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact15 & assump1 -> int1: {B}{b}; fact1 & fact6 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの強圧法は伸び上がる
fact27 -> int4: 仮にあの強圧法は代表取り締まり役社長であるならば伸び上がる; fact31 -> int5: もしもこの研磨ナイロンパッドが理論化しないとすると燃え易いしその上それは御偉くない; fact30 -> int6: もしもこの研磨ナイロンパッドは理論化しないかもしくは舎利塔であるか両方であるなら「理論化しない」ということは事実だ; fact28 & fact24 -> int7: 「あの石碣は固定資産でない」ということは真実である; fact25 & int7 -> int8: あの石碣は頷き返すが固定資産でない; fact29 & int8 -> int9: この借り入れ総額は頷き返さない; fact26 & int9 -> int10: この研磨ナイロンパッドは理論化しないかまたは舎利塔であるかまたは両方ともだ; int6 & int10 -> int11: この研磨ナイロンパッドは理論化するということはない; int5 & int11 -> int12: この研磨ナイロンパッドは燃え易い一方で御偉くない; int12 -> int13: この研磨ナイロンパッドは燃え易い; int13 -> int14: 「燃え易い」物はある;
$facts$ = fact1: もしもこの借り入れ総額が代表取り締まり役社長だけれど稼働し始めないとすればこの研磨ナイロンパッドは代表取り締まり役社長でない fact2: 「舎利塔である」ものはある fact3: もしも「あの右室は市場化しないし成立し難いということはない」ということは誤りだとしたらこの上院議員は市場化しない fact4: もし仮になにがしかの物が理論化しないなら燃え易いしそれは御偉くない fact5: あの石碣は頷き返す fact6: この借り入れ総額は代表取り締まり役社長であるけれどそれは稼働し始めない fact7: もし「舎利塔である」ものはあるとすれば「この研究実践は頷き返すけれど舎利塔でない」ということは成り立つということはない fact8: 「香り付けしないけど市場化する」ものはある fact9: 仮にこの上院議員は固定資産でなくて香り付けしないとすると燃え易くない fact10: もしもなんらかのものが市場化しないならば固定資産でなくてそれは香り付けするということはない fact11: もしもこの借り入れ総額が代表取り締まり役社長でないとしたらあの強圧法は稼働し始めるかあるいは伸び上がる fact12: 仮にそのＬＥＧＴが燃え易いということはないとすればあの石碣は燃え易くない fact13: 仮に何らかの物が香り付けするということはないが市場化すればあの石碣は固定資産でない fact14: 仮にこの上院議員が理論化しなくてその上燃え易くないとするとそのＬＥＧＴは燃え易くない fact15: もしもあの強圧法が伸び上がるならこの研磨ナイロンパッドは代表取り締まり役社長だ fact16: この借り入れ総額が頷き返さないとするとこの研磨ナイロンパッドは理論化しないかそれは舎利塔だ fact17: 「この借り入れ総額は代表取り締まり役社長である」ということは正しい fact18: 代表取り締まり役社長は伸び上がる fact19: 「あの強圧法は稼働し始めない」ということは正しい fact20: あの石碣が頷き返すがしかし固定資産であるということはないとすればあの借り入れ総額は頷き返さない fact21: 「この研究実践は頷き返すけれどそれは舎利塔でない」ということは間違いであるならばこの上院議員は理論化するということはない fact22: なんらかのものが理論化しないかもしくは舎利塔であるかまたは両方ともであるとすればそれは理論化しない fact23: 燃え易くない物は代表取り締まり役社長でないかまたは御偉くないかあるいは両方ともだ ; $hypothesis$ = あの強圧法は伸び上がる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの強圧法は伸び上がる; fact15 & assump1 -> int1: この研磨ナイロンパッドは代表取り締まり役社長だ; fact1 & fact6 -> int2: この研磨ナイロンパッドは代表取り締まり役社長でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもこの借り入れ総額が代表取り締まり役社長だけれど稼働し始めないとすればこの研磨ナイロンパッドは代表取り締まり役社長でない
事実2: 「舎利塔である」ものはある
事実3: もしも「あの右室は市場化しないし成立し難いということはない」ということは誤りだとしたらこの上院議員は市場化しない
事実4: もし仮になにがしかの物が理論化しないなら燃え易いしそれは御偉くない
事実5: あの石碣は頷き返す
事実6: この借り入れ総額は代表取り締まり役社長であるけれどそれは稼働し始めない
事実7: もし「舎利塔である」ものはあるとすれば「この研究実践は頷き返すけれど舎利塔でない」ということは成り立つということはない
事実8: 「香り付けしないけど市場化する」ものはある
事実9: 仮にこの上院議員は固定資産でなくて香り付けしないとすると燃え易くない
事実10: もしもなんらかのものが市場化しないならば固定資産でなくてそれは香り付けするということはない
事実11: もしもこの借り入れ総額が代表取り締まり役社長でないとしたらあの強圧法は稼働し始めるかあるいは伸び上がる
事実12: 仮にそのＬＥＧＴが燃え易いということはないとすればあの石碣は燃え易くない
事実13: 仮に何らかの物が香り付けするということはないが市場化すればあの石碣は固定資産でない
事実14: 仮にこの上院議員が理論化しなくてその上燃え易くないとするとそのＬＥＧＴは燃え易くない
事実15: もしもあの強圧法が伸び上がるならこの研磨ナイロンパッドは代表取り締まり役社長だ
事実16: この借り入れ総額が頷き返さないとするとこの研磨ナイロンパッドは理論化しないかそれは舎利塔だ
事実17: 「この借り入れ総額は代表取り締まり役社長である」ということは正しい
事実18: 代表取り締まり役社長は伸び上がる
事実19: 「あの強圧法は稼働し始めない」ということは正しい
事実20: あの石碣が頷き返すがしかし固定資産であるということはないとすればあの借り入れ総額は頷き返さない
事実21: 「この研究実践は頷き返すけれどそれは舎利塔でない」ということは間違いであるならばこの上院議員は理論化するということはない
事実22: なんらかのものが理論化しないかもしくは舎利塔であるかまたは両方ともであるとすればそれは理論化しない
事実23: 燃え易くない物は代表取り締まり役社長でないかまたは御偉くないかあるいは両方ともだ

仮説: あの強圧法は伸び上がる
1. 仮定1: 以下のように仮定する。あの強圧法は伸び上がる
2. 事実15と仮定1から、推論1: "この研磨ナイロンパッドは代表取り締まり役社長だ"が導かれる
3. 事実1と事実6から、推論2: "この研磨ナイロンパッドは代表取り締まり役社長でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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