その派手さは理解し合わなくてねちっこくない
fact1: 仮にあの核兵器使用は住み易いとすれば「その派手さは理解し合わないしねちっこくない」ということは偽である fact2: もしもなにかはアメリカらしくないとすれば「それは文学者でその上それは男っぽい」ということは間違っている fact3: もしなにがしかのものが住み易いならばあの従来型は文学者でない fact4: 仮になにかは住み易くないなら「それは理解し合わなくてしかもねちっこいということはない」ということは正しいということはない fact5: 仮になにかは文学者でないとすれば「あの乳はアメリカらしいし預金する」ということは事実と異なる fact6: あの核兵器使用は厳しい fact7: あの従来型は理解し合うかもしくは文学者である fact8: ある物は理解し合わないとすると「あの乳は住み易くてねちっこい」ということは間違いだ fact9: 仮に「何かは文学者だしその上男っぽい」ということは成り立たないとするとそれは住み易くない fact10: 「文学者である」ものはある fact11: もしあるものが住み易いかもしくは男っぽいとするとあの従来型は文学者でない fact12: 少なしない物は押し付けがましかない fact13: 仮に「あの乳はアメリカらしいしさらにそれは預金する」ということは成り立たないとしたらそれは理解し合わない fact14: 仮に「あの乳は理解し合わない」ということは成り立つならその派手さは理解し合わないししかもねちっこくない fact15: もしあの核兵器使用が預金しないとするとあの従来型は文学者でなくてまたそれはアメリカらしくない fact16: あの核兵器使用は男っぽい fact17: あの核兵器使用は押し付けがましいということはないがしかし厳しいとしたら預金する fact18: もしあの従来型が男っぽいとすると住み易い fact19: その派手さはねちっこいということはない fact20: あの核兵器使用は少なしない fact21: 仮になにがしかのものが文学者でなくてそれはアメリカらしいということはないなら「男っぽい」ということは確かだ fact22: あの乳が預金しないならそれは理解し合わない fact23: もしあの乳は理解し合わないとしたらその派手さはねちっこくない
fact16 -> int1: あの核兵器使用は住み易いか男っぽいか両方だ; int1 -> int2: 住み易いかあるいは男っぽいかもしくは両方ともであるものはある; int2 & fact11 -> int3: あの従来型は文学者でない; int3 -> int4: 「文学者でない」物はある; int4 & fact5 -> int5: 「あの乳はアメリカらしいし更にそれは預金する」ということは偽である; int5 & fact13 -> int6: 「あの乳は理解し合うということはない」ということは真実だ; int6 & fact14 -> hypothesis;
「その派手さは理解し合わなくてねちっこくない」ということは嘘である
fact29 -> int7: もしもその派手さは住み易くないならば「理解し合わなくてそれはねちっこくない」ということは成り立たない; fact30 -> int8: 仮に「その派手さは文学者であるし男っぽい」ということは成り立たないなら住み易くない; fact26 -> int9: もしその派手さはアメリカらしくないとすると「文学者であるしそれに男っぽい」ということは誤りである; fact25 -> int10: 「もし仮にあの核兵器使用が少なしないとしたらあの核兵器使用が押し付けはましくらない」ということは本当である; int10 & fact24 -> int11: あの核兵器使用は押し付けがましかない; int11 & fact28 -> int12: あの核兵器使用は押し付けがましいということはないけど厳しい; fact27 & 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$ = 
fact16 -> int1: あの核兵器使用は住み易いか男っぽいか両方だ; int1 -> int2: 住み易いかあるいは男っぽいかもしくは両方ともであるものはある; int2 & fact11 -> int3: あの従来型は文学者でない; int3 -> int4: 「文学者でない」物はある; int4 & fact5 -> int5: 「あの乳はアメリカらしいし更にそれは預金する」ということは偽である; int5 & fact13 -> int6: 「あの乳は理解し合うということはない」ということは真実だ; int6 & fact14 -> hypothesis; __PROVED__
事実1: 仮にあの核兵器使用は住み易いとすれば「その派手さは理解し合わないしねちっこくない」ということは偽である
事実2: もしもなにかはアメリカらしくないとすれば「それは文学者でその上それは男っぽい」ということは間違っている
事実3: もしなにがしかのものが住み易いならばあの従来型は文学者でない
事実4: 仮になにかは住み易くないなら「それは理解し合わなくてしかもねちっこいということはない」ということは正しいということはない
事実5: 仮になにかは文学者でないとすれば「あの乳はアメリカらしいし預金する」ということは事実と異なる
事実6: あの核兵器使用は厳しい
事実7: あの従来型は理解し合うかもしくは文学者である
事実8: ある物は理解し合わないとすると「あの乳は住み易くてねちっこい」ということは間違いだ
事実9: 仮に「何かは文学者だしその上男っぽい」ということは成り立たないとするとそれは住み易くない
事実10: 「文学者である」ものはある
事実11: もしあるものが住み易いかもしくは男っぽいとするとあの従来型は文学者でない
事実12: 少なしない物は押し付けがましかない
事実13: 仮に「あの乳はアメリカらしいしさらにそれは預金する」ということは成り立たないとしたらそれは理解し合わない
事実14: 仮に「あの乳は理解し合わない」ということは成り立つならその派手さは理解し合わないししかもねちっこくない
事実15: もしあの核兵器使用が預金しないとするとあの従来型は文学者でなくてまたそれはアメリカらしくない
事実16: あの核兵器使用は男っぽい
事実17: あの核兵器使用は押し付けがましいということはないがしかし厳しいとしたら預金する
事実18: もしあの従来型が男っぽいとすると住み易い
事実19: その派手さはねちっこいということはない
事実20: あの核兵器使用は少なしない
事実21: 仮になにがしかのものが文学者でなくてそれはアメリカらしいということはないなら「男っぽい」ということは確かだ
事実22: あの乳が預金しないならそれは理解し合わない
事実23: もしあの乳は理解し合わないとしたらその派手さはねちっこくない

仮説: その派手さは理解し合わなくてねちっこくない
1. 事実16から、推論1: "あの核兵器使用は住み易いか男っぽいか両方だ"が導かれる
2. 推論1から、推論2: "住み易いかあるいは男っぽいかもしくは両方ともであるものはある"が導かれる
3. 推論2と事実11から、推論3: "あの従来型は文学者でない"が導かれる
4. 推論3から、推論4: "「文学者でない」物はある"が導かれる
5. 推論4と事実5から、推論5: "「あの乳はアメリカらしいし更にそれは預金する」ということは偽である"が導かれる
6. 推論5と事実13から、推論6: "「あの乳は理解し合うということはない」ということは真実だ"が導かれる
7. 推論6と事実14から、仮説が導かれる

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