「あの診断学は現物出資事業でない」ということは偽でない
fact1: もし「この個人目標は身軽くないし基準財政収入額でない」ということは誤りならあの診断学は現物出資事業でない fact2: 何かは賢しならば「それは身軽くなくてそれは基準財政収入額だということはない」ということは偽である fact3: もしこの個人目標が身軽くないとするとこの戦勝記念日は調和し難いけれどそれは着せがましかない fact4: この戦勝記念日が現物出資事業でないとすればあの診断学は調和し難くない fact5: この個人目標は身軽くない fact6: この戦勝記念日は調和し難いがしかし現物出資事業でない fact7: 「もし仮にこの戦勝記念日が調和し難いけれど着せがましかないならあの診断学は現物出資事業である」ということは成り立つ
fact3 & fact5 -> int1: この戦勝記念日は調和し難い一方で着せがましいということはない; int1 & fact7 -> hypothesis;
fact3 & fact5 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact7 -> hypothesis;
あの診断学は現物出資事業でない
fact9 -> int2: 仮に「この個人目標は賢し」ということは事実だとすれば「それは身軽いということはなくて加えて基準財政収入額でない」ということは成り立つということはない;
$facts$ = fact1: もし「この個人目標は身軽くないし基準財政収入額でない」ということは誤りならあの診断学は現物出資事業でない fact2: 何かは賢しならば「それは身軽くなくてそれは基準財政収入額だということはない」ということは偽である fact3: もしこの個人目標が身軽くないとするとこの戦勝記念日は調和し難いけれどそれは着せがましかない fact4: この戦勝記念日が現物出資事業でないとすればあの診断学は調和し難くない fact5: この個人目標は身軽くない fact6: この戦勝記念日は調和し難いがしかし現物出資事業でない fact7: 「もし仮にこの戦勝記念日が調和し難いけれど着せがましかないならあの診断学は現物出資事業である」ということは成り立つ ; $hypothesis$ = 「あの診断学は現物出資事業でない」ということは偽でない ; $proof$ = 
fact3 & fact5 -> int1: この戦勝記念日は調和し難い一方で着せがましいということはない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「この個人目標は身軽くないし基準財政収入額でない」ということは誤りならあの診断学は現物出資事業でない
事実2: 何かは賢しならば「それは身軽くなくてそれは基準財政収入額だということはない」ということは偽である
事実3: もしこの個人目標が身軽くないとするとこの戦勝記念日は調和し難いけれどそれは着せがましかない
事実4: この戦勝記念日が現物出資事業でないとすればあの診断学は調和し難くない
事実5: この個人目標は身軽くない
事実6: この戦勝記念日は調和し難いがしかし現物出資事業でない
事実7: 「もし仮にこの戦勝記念日が調和し難いけれど着せがましかないならあの診断学は現物出資事業である」ということは成り立つ

仮説: 「あの診断学は現物出資事業でない」ということは偽でない
1. 事実3と事実5から、推論1: "この戦勝記念日は調和し難い一方で着せがましいということはない"が導かれる
2. 推論1と事実7から、仮説が否定される

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