あの伝世品は膝枕する
fact1: もし仮に「この均等割り額は理解致すということはない」ということは事実であるとするとチーするしそれに育てる fact2: その旧勢力は育てない fact3: もし仮にこのＨＣ群が数十人分だとすればこの均等割り額は見付け易くない fact4: この均等割り額は見付け易い fact5: もしも「この拭き上げは見付け易くないが膝枕する」ということは事実と異なるとすればそれは膝枕しない fact6: 仮にこの均等割り額が見付け易い一方で育てないならこのＨＣ群はチーしない fact7: もし仮にこのＨＣ群がチーするということはないならあの伝世品は膝枕する fact8: この均等割り額は育てない
fact4 & fact8 -> int1: この均等割り額は見付け易いがそれは育てない; int1 & fact6 -> int2: このＨＣ群はチーするということはない; int2 & fact7 -> hypothesis;
fact4 & fact8 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact6 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis;
あの伝世品は膝枕しない
$facts$ = fact1: もし仮に「この均等割り額は理解致すということはない」ということは事実であるとするとチーするしそれに育てる fact2: その旧勢力は育てない fact3: もし仮にこのＨＣ群が数十人分だとすればこの均等割り額は見付け易くない fact4: この均等割り額は見付け易い fact5: もしも「この拭き上げは見付け易くないが膝枕する」ということは事実と異なるとすればそれは膝枕しない fact6: 仮にこの均等割り額が見付け易い一方で育てないならこのＨＣ群はチーしない fact7: もし仮にこのＨＣ群がチーするということはないならあの伝世品は膝枕する fact8: この均等割り額は育てない ; $hypothesis$ = あの伝世品は膝枕する ; $proof$ = 
fact4 & fact8 -> int1: この均等割り額は見付け易いがそれは育てない; int1 & fact6 -> int2: このＨＣ群はチーするということはない; int2 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「この均等割り額は理解致すということはない」ということは事実であるとするとチーするしそれに育てる
事実2: その旧勢力は育てない
事実3: もし仮にこのＨＣ群が数十人分だとすればこの均等割り額は見付け易くない
事実4: この均等割り額は見付け易い
事実5: もしも「この拭き上げは見付け易くないが膝枕する」ということは事実と異なるとすればそれは膝枕しない
事実6: 仮にこの均等割り額が見付け易い一方で育てないならこのＨＣ群はチーしない
事実7: もし仮にこのＨＣ群がチーするということはないならあの伝世品は膝枕する
事実8: この均等割り額は育てない

仮説: あの伝世品は膝枕する
1. 事実4と事実8から、推論1: "この均等割り額は見付け易いがそれは育てない"が導かれる
2. 推論1と事実6から、推論2: "このＨＣ群はチーするということはない"が導かれる
3. 推論2と事実7から、仮説が導かれる

よって、仮説が証明されました。