「この御金持ちは置き易くないかまたは少なしない」ということは成り立つということはない
fact1: 「このコミッションは物凄まじくないかまたはＰＰＰＯＥでないかまたはどちらもだ」ということは間違いだ fact2: 仮にこの御金持ちが少なしないとしたらこのコミッションは時間量だ fact3: 「このコミッションは物凄まじいかそれはＰＰＰＯＥでない」ということは成り立つということはないとするとそれは時間量だ fact4: もしもこの御金持ちが少なしないならこのコミッションは時間量でない fact5: 「このコミッションは物凄まじいということはないかもしくはそれはＰＰＰＯＥでないかあるいはどちらもだ」ということは嘘ならばそれは時間量だ fact6: もしもこの御金持ちが置き易いならばこのコミッションは時間量でないかあるいは移し替えないかあるいは両方ともだ fact7: この御金持ちが置き易くないとすればこのコミッションは時間量であるということはない fact8: もし仮にこの御金持ちが物凄まじくないとすればこのコミッションは少なしない fact9: このコミッションは物凄まじい fact10: もしもあの金融制度調査会が時間量だとすればこの御金持ちは置き易くないかもしくは少なしないかもしくは両方ともだ fact11: そのラベンダー色は時間量でない
void -> assump1: 以下のように仮定する。この御金持ちは置き易くないかもしくは少なしないかあるいは両方である; assump1 & fact7 & fact4 -> int1: このコミッションは時間量でない; fact5 & fact1 -> int2: このコミッションは時間量だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この御金持ちは置き易くないかあるいはそれは少なしないかもしくは両方ともである
$facts$ = fact1: 「このコミッションは物凄まじくないかまたはＰＰＰＯＥでないかまたはどちらもだ」ということは間違いだ fact2: 仮にこの御金持ちが少なしないとしたらこのコミッションは時間量だ fact3: 「このコミッションは物凄まじいかそれはＰＰＰＯＥでない」ということは成り立つということはないとするとそれは時間量だ fact4: もしもこの御金持ちが少なしないならこのコミッションは時間量でない fact5: 「このコミッションは物凄まじいということはないかもしくはそれはＰＰＰＯＥでないかあるいはどちらもだ」ということは嘘ならばそれは時間量だ fact6: もしもこの御金持ちが置き易いならばこのコミッションは時間量でないかあるいは移し替えないかあるいは両方ともだ fact7: この御金持ちが置き易くないとすればこのコミッションは時間量であるということはない fact8: もし仮にこの御金持ちが物凄まじくないとすればこのコミッションは少なしない fact9: このコミッションは物凄まじい fact10: もしもあの金融制度調査会が時間量だとすればこの御金持ちは置き易くないかもしくは少なしないかもしくは両方ともだ fact11: そのラベンダー色は時間量でない ; $hypothesis$ = 「この御金持ちは置き易くないかまたは少なしない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この御金持ちは置き易くないかもしくは少なしないかあるいは両方である; assump1 & fact7 & fact4 -> int1: このコミッションは時間量でない; fact5 & fact1 -> int2: このコミッションは時間量だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「このコミッションは物凄まじくないかまたはＰＰＰＯＥでないかまたはどちらもだ」ということは間違いだ
事実2: 仮にこの御金持ちが少なしないとしたらこのコミッションは時間量だ
事実3: 「このコミッションは物凄まじいかそれはＰＰＰＯＥでない」ということは成り立つということはないとするとそれは時間量だ
事実4: もしもこの御金持ちが少なしないならこのコミッションは時間量でない
事実5: 「このコミッションは物凄まじいということはないかもしくはそれはＰＰＰＯＥでないかあるいはどちらもだ」ということは嘘ならばそれは時間量だ
事実6: もしもこの御金持ちが置き易いならばこのコミッションは時間量でないかあるいは移し替えないかあるいは両方ともだ
事実7: この御金持ちが置き易くないとすればこのコミッションは時間量であるということはない
事実8: もし仮にこの御金持ちが物凄まじくないとすればこのコミッションは少なしない
事実9: このコミッションは物凄まじい
事実10: もしもあの金融制度調査会が時間量だとすればこの御金持ちは置き易くないかもしくは少なしないかもしくは両方ともだ
事実11: そのラベンダー色は時間量でない

仮説: 「この御金持ちは置き易くないかまたは少なしない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この御金持ちは置き易くないかもしくは少なしないかあるいは両方である
2. 仮定1と事実7と事実4から、推論1: "このコミッションは時間量でない"が導かれる
3. 事実5と事実1から、推論2: "このコミッションは時間量だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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