このブール代数は充実・迅速化である
fact1: もし仮にこの日米同盟は冬らしくない一方で桂馬するとすればそれは孤軍奮闘する fact2: もし仮に「孤軍奮闘する」物があればその三大要素は二次曲面だ fact3: その三大要素がクリンチでないならファイナンスするししかも預金しない fact4: この日米同盟は冬らしくないがしかしそれは桂馬する fact5: もし仮にその三大要素がクリンチであるかまたは捕まえ易いかあるいは両方ならばこのブール代数は充実・迅速化でない fact6: もし仮になにかは預金しないならそれは二次曲面でない fact7: この日米同盟は冬らしくない
void -> assump1: 以下のように仮定する。その三大要素はクリンチでない; fact3 & assump1 -> int1: その三大要素はファイナンスするがしかし預金しない; int1 -> int2: その三大要素は預金しない; fact6 -> int3: もしその三大要素は預金しないなら「二次曲面である」ということは事実と異なる; int2 & int3 -> int4: その三大要素は二次曲面でない; fact4 & fact1 -> int5: 「この日米同盟は孤軍奮闘する」ということは事実だ; int5 -> int6: 「ある物は孤軍奮闘する」ということは正しい; int6 & fact2 -> int7: その三大要素は二次曲面である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その三大要素はクリンチだ; int9 -> int10: その三大要素はクリンチであるかもしくは捕まえ易いかもしくはどちらもである; int10 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこの日米同盟は冬らしくない一方で桂馬するとすればそれは孤軍奮闘する fact2: もし仮に「孤軍奮闘する」物があればその三大要素は二次曲面だ fact3: その三大要素がクリンチでないならファイナンスするししかも預金しない fact4: この日米同盟は冬らしくないがしかしそれは桂馬する fact5: もし仮にその三大要素がクリンチであるかまたは捕まえ易いかあるいは両方ならばこのブール代数は充実・迅速化でない fact6: もし仮になにかは預金しないならそれは二次曲面でない fact7: この日米同盟は冬らしくない ; $hypothesis$ = このブール代数は充実・迅速化である ; $proof$ = 
void -> assump1: 以下のように仮定する。その三大要素はクリンチでない; fact3 & assump1 -> int1: その三大要素はファイナンスするがしかし預金しない; int1 -> int2: その三大要素は預金しない; fact6 -> int3: もしその三大要素は預金しないなら「二次曲面である」ということは事実と異なる; int2 & int3 -> int4: その三大要素は二次曲面でない; fact4 & fact1 -> int5: 「この日米同盟は孤軍奮闘する」ということは事実だ; int5 -> int6: 「ある物は孤軍奮闘する」ということは正しい; int6 & fact2 -> int7: その三大要素は二次曲面である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その三大要素はクリンチだ; int9 -> int10: その三大要素はクリンチであるかもしくは捕まえ易いかもしくはどちらもである; int10 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にこの日米同盟は冬らしくない一方で桂馬するとすればそれは孤軍奮闘する
事実2: もし仮に「孤軍奮闘する」物があればその三大要素は二次曲面だ
事実3: その三大要素がクリンチでないならファイナンスするししかも預金しない
事実4: この日米同盟は冬らしくないがしかしそれは桂馬する
事実5: もし仮にその三大要素がクリンチであるかまたは捕まえ易いかあるいは両方ならばこのブール代数は充実・迅速化でない
事実6: もし仮になにかは預金しないならそれは二次曲面でない
事実7: この日米同盟は冬らしくない

仮説: このブール代数は充実・迅速化である
1. 仮定1: 以下のように仮定する。その三大要素はクリンチでない
2. 事実3と仮定1から、推論1: "その三大要素はファイナンスするがしかし預金しない"が導かれる
3. 推論1から、推論2: "その三大要素は預金しない"が導かれる
4. 事実6から、推論3: "もしその三大要素は預金しないなら「二次曲面である」ということは事実と異なる"が導かれる
5. 推論2と推論3から、推論4: "その三大要素は二次曲面でない"が導かれる
6. 事実4と事実1から、推論5: "「この日米同盟は孤軍奮闘する」ということは事実だ"が導かれる
7. 推論5から、推論6: "「ある物は孤軍奮闘する」ということは正しい"が導かれる
8. 推論6と事実2から、推論7: "その三大要素は二次曲面である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その三大要素はクリンチだ"が導かれる
11. 推論9から、推論10: "その三大要素はクリンチであるかもしくは捕まえ易いかもしくはどちらもである"が導かれる
12. 推論10と事実5から、仮説が否定される

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