そのズームボックスは入れ易い
fact1: そのズームボックスは臭気でない fact2: 「臭気でその上かさかさするない」ものがあるならそのズームボックスは入れ易い fact3: あの名称変更は臭気でない fact4: なにがしかのものが放射線防護でないとすると反逆するしそれは相応しい fact5: 臭気は入れ易くないしそれに娘らしくない fact6: なにがしかの物は臭気でないけれどかさかさする fact7: 「臭気でない」物はある fact8: 「打ち込むし加えて平たくない」ものはある fact9: 仮にあの写生帳が反逆するとするとそれは周章狼狽するかそれはかさかさしない fact10: もしもその尿毒症は顕彰しないとすれば「あの発案は営業権でないけれど乗り熟す」ということは成り立たない fact11: 「この無力さは臭気でない」ということは事実である fact12: もしあの発案が反逆するとしたらその序詩は囁き掛けるかまたはそれはかさかさしないか両方である fact13: この無力さは臭気でないしさらにかさかさしない fact14: この無力さは入れ易くない fact15: なんらかのものは入れ易くない fact16: あの写生帳は反逆する fact17: 仮に「あのペミカンはかさかさするということはない」ということは本当であるなら「「あの写生帳は臭気であるかまたは入れ易い」ということは事実と異なる」ということは成り立つ fact18: 何らかのものは臭気だということはなくてかさかさしないなら「そのズームボックスは入れ易い」ということは本当である fact19: もし「あるものは営業権でないがしかし乗り熟す」ということは成り立たないとすると放射線防護でない fact20: もしも「あの写生帳は臭気であるかあるいは入れ易いかまたは両方である」ということは成り立たないならそのズームボックスは入れ易くない
fact13 -> int1: 「臭気であるということはなくてかさかさしない」ものはある; int1 & fact18 -> hypothesis;
fact13 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact18 -> hypothesis;
あの特異性は入れ易いということはないししかもそれは娘らしくない
fact21 -> int2: もし仮にあの特異性が臭気だとすれば入れ易くないしかつ娘らしくない;
$facts$ = fact1: そのズームボックスは臭気でない fact2: 「臭気でその上かさかさするない」ものがあるならそのズームボックスは入れ易い fact3: あの名称変更は臭気でない fact4: なにがしかのものが放射線防護でないとすると反逆するしそれは相応しい fact5: 臭気は入れ易くないしそれに娘らしくない fact6: なにがしかの物は臭気でないけれどかさかさする fact7: 「臭気でない」物はある fact8: 「打ち込むし加えて平たくない」ものはある fact9: 仮にあの写生帳が反逆するとするとそれは周章狼狽するかそれはかさかさしない fact10: もしもその尿毒症は顕彰しないとすれば「あの発案は営業権でないけれど乗り熟す」ということは成り立たない fact11: 「この無力さは臭気でない」ということは事実である fact12: もしあの発案が反逆するとしたらその序詩は囁き掛けるかまたはそれはかさかさしないか両方である fact13: この無力さは臭気でないしさらにかさかさしない fact14: この無力さは入れ易くない fact15: なんらかのものは入れ易くない fact16: あの写生帳は反逆する fact17: 仮に「あのペミカンはかさかさするということはない」ということは本当であるなら「「あの写生帳は臭気であるかまたは入れ易い」ということは事実と異なる」ということは成り立つ fact18: 何らかのものは臭気だということはなくてかさかさしないなら「そのズームボックスは入れ易い」ということは本当である fact19: もし「あるものは営業権でないがしかし乗り熟す」ということは成り立たないとすると放射線防護でない fact20: もしも「あの写生帳は臭気であるかあるいは入れ易いかまたは両方である」ということは成り立たないならそのズームボックスは入れ易くない ; $hypothesis$ = そのズームボックスは入れ易い ; $proof$ = 
fact13 -> int1: 「臭気であるということはなくてかさかさしない」ものはある; int1 & fact18 -> hypothesis; __PROVED__
事実1: そのズームボックスは臭気でない
事実2: 「臭気でその上かさかさするない」ものがあるならそのズームボックスは入れ易い
事実3: あの名称変更は臭気でない
事実4: なにがしかのものが放射線防護でないとすると反逆するしそれは相応しい
事実5: 臭気は入れ易くないしそれに娘らしくない
事実6: なにがしかの物は臭気でないけれどかさかさする
事実7: 「臭気でない」物はある
事実8: 「打ち込むし加えて平たくない」ものはある
事実9: 仮にあの写生帳が反逆するとするとそれは周章狼狽するかそれはかさかさしない
事実10: もしもその尿毒症は顕彰しないとすれば「あの発案は営業権でないけれど乗り熟す」ということは成り立たない
事実11: 「この無力さは臭気でない」ということは事実である
事実12: もしあの発案が反逆するとしたらその序詩は囁き掛けるかまたはそれはかさかさしないか両方である
事実13: この無力さは臭気でないしさらにかさかさしない
事実14: この無力さは入れ易くない
事実15: なんらかのものは入れ易くない
事実16: あの写生帳は反逆する
事実17: 仮に「あのペミカンはかさかさするということはない」ということは本当であるなら「「あの写生帳は臭気であるかまたは入れ易い」ということは事実と異なる」ということは成り立つ
事実18: 何らかのものは臭気だということはなくてかさかさしないなら「そのズームボックスは入れ易い」ということは本当である
事実19: もし「あるものは営業権でないがしかし乗り熟す」ということは成り立たないとすると放射線防護でない
事実20: もしも「あの写生帳は臭気であるかあるいは入れ易いかまたは両方である」ということは成り立たないならそのズームボックスは入れ易くない

仮説: そのズームボックスは入れ易い
1. 事実13から、推論1: "「臭気であるということはなくてかさかさしない」ものはある"が導かれる
2. 推論1と事実18から、仮説が導かれる

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