この処分方法は大人っぽくない
fact1: この処分方法は見付け易い fact2: その蹲踞は剥き出す fact3: もしも姉らしいものは一区切りであるならそれは大人っぽくない fact4: 確認し難くないものは姉らしいし一区切りだ fact5: その蹲踞は大人っぽい fact6: この三号線は大人っぽいが都市化しない fact7: ある物はインクであるとすると大人っぽい fact8: もしも何らかの物が代表しないとすると確認し難くないしきりきり舞いしない fact9: その蹲踞は見付け易いがしかしインクでない fact10: とある物は一区切りなら「それは大人っぽい」ということは真実である fact11: 仮にその蹲踞が見付け易いししかもインクならばあの処分方法は一区切りだ fact12: あの礎石はインクである fact13: もしその蹲踞が見付け易いがインクでないとするとこの処分方法は一区切りだ fact14: その蹲踞はインクでない fact15: この処分方法は見付け易いがしかし鸚鵡真理教事件でない fact16: もし「その蹲踞は一区切りだけど大人っぽくない」ということは真実であるならこの処分方法はインクである
fact13 & fact9 -> int1: この処分方法は一区切りだ; fact10 -> int2: この処分方法が一区切りだとするとそれは大人っぽい; int1 & int2 -> hypothesis;
fact13 & fact9 -> int1: {B}{b}; fact10 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> hypothesis;
この処分方法は大人っぽくない
fact19 -> int3: もしこの処分方法は姉らしいし一区切りであるならばそれは大人っぽくない; fact17 -> int4: 仮にこの処分方法は確認し難くないならば姉らしいしかつ一区切りだ; fact18 -> int5: もし仮にこの処分方法が代表しないとしたらそれは確認し難くないし更にきりきり舞いしない;
$facts$ = fact1: この処分方法は見付け易い fact2: その蹲踞は剥き出す fact3: もしも姉らしいものは一区切りであるならそれは大人っぽくない fact4: 確認し難くないものは姉らしいし一区切りだ fact5: その蹲踞は大人っぽい fact6: この三号線は大人っぽいが都市化しない fact7: ある物はインクであるとすると大人っぽい fact8: もしも何らかの物が代表しないとすると確認し難くないしきりきり舞いしない fact9: その蹲踞は見付け易いがしかしインクでない fact10: とある物は一区切りなら「それは大人っぽい」ということは真実である fact11: 仮にその蹲踞が見付け易いししかもインクならばあの処分方法は一区切りだ fact12: あの礎石はインクである fact13: もしその蹲踞が見付け易いがインクでないとするとこの処分方法は一区切りだ fact14: その蹲踞はインクでない fact15: この処分方法は見付け易いがしかし鸚鵡真理教事件でない fact16: もし「その蹲踞は一区切りだけど大人っぽくない」ということは真実であるならこの処分方法はインクである ; $hypothesis$ = この処分方法は大人っぽくない ; $proof$ = 
fact13 & fact9 -> int1: この処分方法は一区切りだ; fact10 -> int2: この処分方法が一区切りだとするとそれは大人っぽい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この処分方法は見付け易い
事実2: その蹲踞は剥き出す
事実3: もしも姉らしいものは一区切りであるならそれは大人っぽくない
事実4: 確認し難くないものは姉らしいし一区切りだ
事実5: その蹲踞は大人っぽい
事実6: この三号線は大人っぽいが都市化しない
事実7: ある物はインクであるとすると大人っぽい
事実8: もしも何らかの物が代表しないとすると確認し難くないしきりきり舞いしない
事実9: その蹲踞は見付け易いがしかしインクでない
事実10: とある物は一区切りなら「それは大人っぽい」ということは真実である
事実11: 仮にその蹲踞が見付け易いししかもインクならばあの処分方法は一区切りだ
事実12: あの礎石はインクである
事実13: もしその蹲踞が見付け易いがインクでないとするとこの処分方法は一区切りだ
事実14: その蹲踞はインクでない
事実15: この処分方法は見付け易いがしかし鸚鵡真理教事件でない
事実16: もし「その蹲踞は一区切りだけど大人っぽくない」ということは真実であるならこの処分方法はインクである

仮説: この処分方法は大人っぽくない
1. 事実13と事実9から、推論1: "この処分方法は一区切りだ"が導かれる
2. 事実10から、推論2: "この処分方法が一区切りだとするとそれは大人っぽい"が導かれる
3. 推論1と推論2から、仮説が否定される

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