「「里見家であるしさらに掛ける」ものはある」ということは成り立たない
fact1: そのアニメ系は合わせ易くないが掛ける fact2: そのウィーン体制は合わせ易いということはない fact3: そのアニメ系は翔る fact4: そのアニメ系は翔るしそれは里見家だ fact5: ある物は里見家だ fact6: そのアニメ系は合わせ易くない fact7: ある物が翔らないとすれば預け合うということはなくてそれは付き合える fact8: 「掛ける」ものはある
fact4 -> int1: そのアニメ系は里見家だ; fact1 -> int2: そのアニメ系は掛ける; int1 & int2 -> int3: そのアニメ系は里見家だし掛ける; int3 -> hypothesis;
そのアニメ系は預け合うということはない一方で付き合える
fact9 -> int4: そのアニメ系が翔らないならそれは預け合わないがしかし付き合える;
$facts$ = fact1: そのアニメ系は合わせ易くないが掛ける fact2: そのウィーン体制は合わせ易いということはない fact3: そのアニメ系は翔る fact4: そのアニメ系は翔るしそれは里見家だ fact5: ある物は里見家だ fact6: そのアニメ系は合わせ易くない fact7: ある物が翔らないとすれば預け合うということはなくてそれは付き合える fact8: 「掛ける」ものはある ; $hypothesis$ = 「「里見家であるしさらに掛ける」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: そのアニメ系は里見家だ; fact1 -> int2: そのアニメ系は掛ける; int1 & int2 -> int3: そのアニメ系は里見家だし掛ける; int3 -> hypothesis; __DISPROVED__
事実1: そのアニメ系は合わせ易くないが掛ける
事実2: そのウィーン体制は合わせ易いということはない
事実3: そのアニメ系は翔る
事実4: そのアニメ系は翔るしそれは里見家だ
事実5: ある物は里見家だ
事実6: そのアニメ系は合わせ易くない
事実7: ある物が翔らないとすれば預け合うということはなくてそれは付き合える
事実8: 「掛ける」ものはある

仮説: 「「里見家であるしさらに掛ける」ものはある」ということは成り立たない
1. 事実4から、推論1: "そのアニメ系は里見家だ"が導かれる
2. 事実1から、推論2: "そのアニメ系は掛ける"が導かれる
3. 推論1と推論2から、推論3: "そのアニメ系は里見家だし掛ける"が導かれる
4. 推論3から、仮説が否定される

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