この楼上は七十一口径である
fact1: この陰陽は義務付けるけどそれはでかくない fact2: もしもこの陰陽が義務付けるけれどそれがでかくないとしたらあの茶髪は吸水する fact3: もしもあの茶髪が吸水するし人非人ならばこの楼上は七十一口径だということはない fact4: 「あの茶髪は共鳴し易くないし更に人非人でない」ということは間違いだ fact5: もしも「あの茶髪は共鳴し易くないしおまけにそれは人非人でない」ということは誤っているとすると人非人である
fact2 & fact1 -> int1: あの茶髪は吸水する; fact4 & fact5 -> int2: 「あの茶髪は人非人だ」ということは確かだ; int1 & int2 -> int3: あの茶髪は吸水するし人非人だ; int3 & fact3 -> hypothesis;
$facts$ = fact1: この陰陽は義務付けるけどそれはでかくない fact2: もしもこの陰陽が義務付けるけれどそれがでかくないとしたらあの茶髪は吸水する fact3: もしもあの茶髪が吸水するし人非人ならばこの楼上は七十一口径だということはない fact4: 「あの茶髪は共鳴し易くないし更に人非人でない」ということは間違いだ fact5: もしも「あの茶髪は共鳴し易くないしおまけにそれは人非人でない」ということは誤っているとすると人非人である ; $hypothesis$ = この楼上は七十一口径である ; $proof$ = 
fact2 & fact1 -> int1: あの茶髪は吸水する; fact4 & fact5 -> int2: 「あの茶髪は人非人だ」ということは確かだ; int1 & int2 -> int3: あの茶髪は吸水するし人非人だ; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: この陰陽は義務付けるけどそれはでかくない
事実2: もしもこの陰陽が義務付けるけれどそれがでかくないとしたらあの茶髪は吸水する
事実3: もしもあの茶髪が吸水するし人非人ならばこの楼上は七十一口径だということはない
事実4: 「あの茶髪は共鳴し易くないし更に人非人でない」ということは間違いだ
事実5: もしも「あの茶髪は共鳴し易くないしおまけにそれは人非人でない」ということは誤っているとすると人非人である

仮説: この楼上は七十一口径である
1. 事実2と事実1から、推論1: "あの茶髪は吸水する"が導かれる
2. 事実4と事実5から、推論2: "「あの茶髪は人非人だ」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "あの茶髪は吸水するし人非人だ"が導かれる
4. 推論3と事実3から、仮説が否定される

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