「あの本宅は研究出来るがしかし一定しない」ということは成り立たない
fact1: それは候文でなくてその上舞い踊らないという物はない fact2: 「「重しし加えて僻みっぽくない」ということは嘘な」物はある fact3: あの本宅は研究出来るし更に候文である fact4: もしも「「重ししそれに僻みっぽくない」ということは成り立たない」物はあるとすると「あの本宅は一定しない」ということは誤っていない
fact2 & fact4 -> int1: あの本宅は一定しない; fact3 -> int2: あの本宅は研究出来る; int1 & int2 -> hypothesis;
「あの本宅は研究出来るが一定しない」ということは成り立たない
fact5 -> int3: 「この他称は候文でなくてまたそれは舞い踊らない」ということは事実と異なる;
$facts$ = fact1: それは候文でなくてその上舞い踊らないという物はない fact2: 「「重しし加えて僻みっぽくない」ということは嘘な」物はある fact3: あの本宅は研究出来るし更に候文である fact4: もしも「「重ししそれに僻みっぽくない」ということは成り立たない」物はあるとすると「あの本宅は一定しない」ということは誤っていない ; $hypothesis$ = 「あの本宅は研究出来るがしかし一定しない」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> int1: あの本宅は一定しない; fact3 -> int2: あの本宅は研究出来る; int1 & int2 -> hypothesis; __DISPROVED__
事実1: それは候文でなくてその上舞い踊らないという物はない
事実2: 「「重しし加えて僻みっぽくない」ということは嘘な」物はある
事実3: あの本宅は研究出来るし更に候文である
事実4: もしも「「重ししそれに僻みっぽくない」ということは成り立たない」物はあるとすると「あの本宅は一定しない」ということは誤っていない

仮説: 「あの本宅は研究出来るがしかし一定しない」ということは成り立たない
1. 事実2と事実4から、推論1: "あの本宅は一定しない"が導かれる
2. 事実3から、推論2: "あの本宅は研究出来る"が導かれる
3. 推論1と推論2から、仮説が否定される

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