あの譲渡収入金額はＰ行動である
fact1: 「あの譲渡収入金額は慌ただしくないがしかし古びる」ということは成り立たない fact2: このシャポーは鎮圧する fact3: 仮に「鎮圧する」ものはあるとすれば「あの譲渡収入金額は慌ただしくないし更に古びるということはない」ということは成り立たない fact4: この出願番号は鎮圧する fact5: 仮に「鎮圧する」物はあれば「あの譲渡収入金額は慌ただしいが古びるということはない」ということは事実と異なる fact6: もし仮になにがしかの物は廃棄するとすれば「Ｐ行動だ」ということは正しい fact7: 仮に「何かは慌ただしくなくておまけにそれは古びない」ということは成り立つということはないなら廃棄する
fact2 -> int1: 「「鎮圧する」ということは確かである」物はある; int1 & fact3 -> int2: 「あの譲渡収入金額は慌ただしいということはないし更に古びない」ということは嘘だ; fact7 -> int3: 仮に「あの譲渡収入金額は慌ただしくないしおまけに古びない」ということは成り立たないならそれは廃棄する; int2 & int3 -> int4: あの譲渡収入金額は廃棄する; fact6 -> int5: 仮にあの譲渡収入金額が廃棄すればＰ行動だ; int4 & int5 -> hypothesis;
$facts$ = fact1: 「あの譲渡収入金額は慌ただしくないがしかし古びる」ということは成り立たない fact2: このシャポーは鎮圧する fact3: 仮に「鎮圧する」ものはあるとすれば「あの譲渡収入金額は慌ただしくないし更に古びるということはない」ということは成り立たない fact4: この出願番号は鎮圧する fact5: 仮に「鎮圧する」物はあれば「あの譲渡収入金額は慌ただしいが古びるということはない」ということは事実と異なる fact6: もし仮になにがしかの物は廃棄するとすれば「Ｐ行動だ」ということは正しい fact7: 仮に「何かは慌ただしくなくておまけにそれは古びない」ということは成り立つということはないなら廃棄する ; $hypothesis$ = あの譲渡収入金額はＰ行動である ; $proof$ = 
fact2 -> int1: 「「鎮圧する」ということは確かである」物はある; int1 & fact3 -> int2: 「あの譲渡収入金額は慌ただしいということはないし更に古びない」ということは嘘だ; fact7 -> int3: 仮に「あの譲渡収入金額は慌ただしくないしおまけに古びない」ということは成り立たないならそれは廃棄する; int2 & int3 -> int4: あの譲渡収入金額は廃棄する; fact6 -> int5: 仮にあの譲渡収入金額が廃棄すればＰ行動だ; int4 & int5 -> hypothesis; __PROVED__
事実1: 「あの譲渡収入金額は慌ただしくないがしかし古びる」ということは成り立たない
事実2: このシャポーは鎮圧する
事実3: 仮に「鎮圧する」ものはあるとすれば「あの譲渡収入金額は慌ただしくないし更に古びるということはない」ということは成り立たない
事実4: この出願番号は鎮圧する
事実5: 仮に「鎮圧する」物はあれば「あの譲渡収入金額は慌ただしいが古びるということはない」ということは事実と異なる
事実6: もし仮になにがしかの物は廃棄するとすれば「Ｐ行動だ」ということは正しい
事実7: 仮に「何かは慌ただしくなくておまけにそれは古びない」ということは成り立つということはないなら廃棄する

仮説: あの譲渡収入金額はＰ行動である
1. 事実2から、推論1: "「「鎮圧する」ということは確かである」物はある"が導かれる
2. 推論1と事実3から、推論2: "「あの譲渡収入金額は慌ただしいということはないし更に古びない」ということは嘘だ"が導かれる
3. 事実7から、推論3: "仮に「あの譲渡収入金額は慌ただしくないしおまけに古びない」ということは成り立たないならそれは廃棄する"が導かれる
4. 推論2と推論3から、推論4: "あの譲渡収入金額は廃棄する"が導かれる
5. 事実6から、推論5: "仮にあの譲渡収入金額が廃棄すればＰ行動だ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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