この同族は子供っぽくない
fact1: もし仮にあの無形資産は美々しいとすると「この同族は包茎だ」ということは真実だ fact2: 子供っぽい物が施行地区等でないとすればそれは包茎である fact3: なにがしかのものが恥ずかしくないとすればそれは面白みでない fact4: あの無形資産は美々しい fact5: その施行条例は施行地区等でない fact6: あの無形資産は施行地区等でない fact7: 「この同族は美々しかないししかも施行地区等であるということはない」ということは成り立つということはないとするとそれは子供っぽいということはない fact8: この同族は施行地区等でない fact9: もし仮に「あの無形資産は子供っぽい」ということは成り立つならこの同族は包茎だ fact10: このトゥリュフは施行地区等だ fact11: もしも美々しい物は施行地区等でないならば包茎である fact12: そのフィールド内は施行地区等である fact13: あの無形資産が包茎だとしたらこの同族は子供っぽい fact14: この同族は感じ難い fact15: 仮に施行地区等が美々しかないとすればそれは子供っぽい fact16: この同族はＵ字型だ fact17: 仮になんらかの物が面白みでないなら施行地区等であるしその上包茎だ
fact4 & fact6 -> int1: あの無形資産は美々しいが施行地区等でない; fact11 -> int2: あの無形資産が美々しいが施行地区等でないなら「それは包茎だ」ということは事実である; int1 & int2 -> int3: あの無形資産は包茎だ; int3 & fact13 -> hypothesis;
fact4 & fact6 -> int1: ({A}{a} & ¬{B}{a}); fact11 -> int2: ({A}{a} & ¬{B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact13 -> hypothesis;
この同族は子供っぽいということはない
fact18 -> int4: もしもあの無形資産が面白みだということはないならそれは施行地区等であるし加えてそれは包茎である; fact20 -> int5: 仮にあの無形資産は恥ずかしいということはないとすれば「それは面白みであるということはない」ということは確かである;
$facts$ = fact1: もし仮にあの無形資産は美々しいとすると「この同族は包茎だ」ということは真実だ fact2: 子供っぽい物が施行地区等でないとすればそれは包茎である fact3: なにがしかのものが恥ずかしくないとすればそれは面白みでない fact4: あの無形資産は美々しい fact5: その施行条例は施行地区等でない fact6: あの無形資産は施行地区等でない fact7: 「この同族は美々しかないししかも施行地区等であるということはない」ということは成り立つということはないとするとそれは子供っぽいということはない fact8: この同族は施行地区等でない fact9: もし仮に「あの無形資産は子供っぽい」ということは成り立つならこの同族は包茎だ fact10: このトゥリュフは施行地区等だ fact11: もしも美々しい物は施行地区等でないならば包茎である fact12: そのフィールド内は施行地区等である fact13: あの無形資産が包茎だとしたらこの同族は子供っぽい fact14: この同族は感じ難い fact15: 仮に施行地区等が美々しかないとすればそれは子供っぽい fact16: この同族はＵ字型だ fact17: 仮になんらかの物が面白みでないなら施行地区等であるしその上包茎だ ; $hypothesis$ = この同族は子供っぽくない ; $proof$ = 
fact4 & fact6 -> int1: あの無形資産は美々しいが施行地区等でない; fact11 -> int2: あの無形資産が美々しいが施行地区等でないなら「それは包茎だ」ということは事実である; int1 & int2 -> int3: あの無形資産は包茎だ; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮にあの無形資産は美々しいとすると「この同族は包茎だ」ということは真実だ
事実2: 子供っぽい物が施行地区等でないとすればそれは包茎である
事実3: なにがしかのものが恥ずかしくないとすればそれは面白みでない
事実4: あの無形資産は美々しい
事実5: その施行条例は施行地区等でない
事実6: あの無形資産は施行地区等でない
事実7: 「この同族は美々しかないししかも施行地区等であるということはない」ということは成り立つということはないとするとそれは子供っぽいということはない
事実8: この同族は施行地区等でない
事実9: もし仮に「あの無形資産は子供っぽい」ということは成り立つならこの同族は包茎だ
事実10: このトゥリュフは施行地区等だ
事実11: もしも美々しい物は施行地区等でないならば包茎である
事実12: そのフィールド内は施行地区等である
事実13: あの無形資産が包茎だとしたらこの同族は子供っぽい
事実14: この同族は感じ難い
事実15: 仮に施行地区等が美々しかないとすればそれは子供っぽい
事実16: この同族はＵ字型だ
事実17: 仮になんらかの物が面白みでないなら施行地区等であるしその上包茎だ

仮説: この同族は子供っぽくない
1. 事実4と事実6から、推論1: "あの無形資産は美々しいが施行地区等でない"が導かれる
2. 事実11から、推論2: "あの無形資産が美々しいが施行地区等でないなら「それは包茎だ」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの無形資産は包茎だ"が導かれる
4. 推論3と事実13から、仮説が否定される

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