この現実主義者は勅符でない
fact1: 勅符は証明しない fact2: この遺贈が大人しがしかしそれが入浴時間でないとすればあの全額自主運用は証明する fact3: その全額自主運用は入浴時間である fact4: この遺贈が大人しないしさらにそれは入浴時間でない fact5: もし仮にその全額自主運用が証明するとすればあの現実主義者は中焦である fact6: 仮にこの遺贈が大人しないしまた入浴時間でないならばあの全額自主運用は証明する fact7: この現実主義者は内頸動脈終末部でないとするとそれは証明しないかもしくは経済的基盤であるか両方だ fact8: この遺贈は中焦でない fact9: もし「この現実主義者は勅符だ」ということは事実なら入浴時間でない fact10: 仮にこの現実主義者が入浴時間だがしかし中焦でないならばあの遺贈は勅符である fact11: もしなにがしかの物は中焦であるとすると勅符であるということはない fact12: この現実主義者は証明しないかまたは経済的基盤であるかもしくは両方ともであるとするとそれは証明しない fact13: この遺贈が大人しないけれど入浴時間であるならその全額自主運用は証明する
fact6 & fact4 -> int1: その全額自主運用は証明する; int1 & fact5 -> int2: この現実主義者は中焦である; fact11 -> int3: もしこの現実主義者が中焦ならばそれは勅符であるということはない; int2 & int3 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {A}{c}; fact11 -> int3: {A}{c} -> ¬{C}{c}; int2 & int3 -> hypothesis;
この現実主義者は勅符である
$facts$ = fact1: 勅符は証明しない fact2: この遺贈が大人しがしかしそれが入浴時間でないとすればあの全額自主運用は証明する fact3: その全額自主運用は入浴時間である fact4: この遺贈が大人しないしさらにそれは入浴時間でない fact5: もし仮にその全額自主運用が証明するとすればあの現実主義者は中焦である fact6: 仮にこの遺贈が大人しないしまた入浴時間でないならばあの全額自主運用は証明する fact7: この現実主義者は内頸動脈終末部でないとするとそれは証明しないかもしくは経済的基盤であるか両方だ fact8: この遺贈は中焦でない fact9: もし「この現実主義者は勅符だ」ということは事実なら入浴時間でない fact10: 仮にこの現実主義者が入浴時間だがしかし中焦でないならばあの遺贈は勅符である fact11: もしなにがしかの物は中焦であるとすると勅符であるということはない fact12: この現実主義者は証明しないかまたは経済的基盤であるかもしくは両方ともであるとするとそれは証明しない fact13: この遺贈が大人しないけれど入浴時間であるならその全額自主運用は証明する ; $hypothesis$ = この現実主義者は勅符でない ; $proof$ = 
fact6 & fact4 -> int1: その全額自主運用は証明する; int1 & fact5 -> int2: この現実主義者は中焦である; fact11 -> int3: もしこの現実主義者が中焦ならばそれは勅符であるということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 勅符は証明しない
事実2: この遺贈が大人しがしかしそれが入浴時間でないとすればあの全額自主運用は証明する
事実3: その全額自主運用は入浴時間である
事実4: この遺贈が大人しないしさらにそれは入浴時間でない
事実5: もし仮にその全額自主運用が証明するとすればあの現実主義者は中焦である
事実6: 仮にこの遺贈が大人しないしまた入浴時間でないならばあの全額自主運用は証明する
事実7: この現実主義者は内頸動脈終末部でないとするとそれは証明しないかもしくは経済的基盤であるか両方だ
事実8: この遺贈は中焦でない
事実9: もし「この現実主義者は勅符だ」ということは事実なら入浴時間でない
事実10: 仮にこの現実主義者が入浴時間だがしかし中焦でないならばあの遺贈は勅符である
事実11: もしなにがしかの物は中焦であるとすると勅符であるということはない
事実12: この現実主義者は証明しないかまたは経済的基盤であるかもしくは両方ともであるとするとそれは証明しない
事実13: この遺贈が大人しないけれど入浴時間であるならその全額自主運用は証明する

仮説: この現実主義者は勅符でない
1. 事実6と事実4から、推論1: "その全額自主運用は証明する"が導かれる
2. 推論1と事実5から、推論2: "この現実主義者は中焦である"が導かれる
3. 事実11から、推論3: "もしこの現実主義者が中焦ならばそれは勅符であるということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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