もしそのＡ社が理解致すならその熱風は手荒い
fact1: もし「なんらかの物は運命共同体である一方で一勝しない」ということは事実と異なるならそれは精読である fact2: そのＡ社は理解致すなら「あのアイデアは運命共同体だけれど一勝しない」ということは偽である fact3: もしもその熱風が一勝するとしたらあのアイデアは手荒い fact4: もしあのアイデアが精読だとするとその熱風は手荒い fact5: もし仮にあのアイデアが運命共同体でないとすればそれは精読だ
void -> assump1: 以下のように仮定する。そのＡ社は理解致す; fact2 & assump1 -> int1: 「あのアイデアは運命共同体だけれど一勝しない」ということは偽だ; fact1 -> int2: もしも「あのアイデアは運命共同体であるけれど一勝しない」ということは誤りだとするとそれは精読だ; int1 & int2 -> int3: あのアイデアは精読だ; int3 & fact4 -> int4: その熱風は手荒い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし「なんらかの物は運命共同体である一方で一勝しない」ということは事実と異なるならそれは精読である fact2: そのＡ社は理解致すなら「あのアイデアは運命共同体だけれど一勝しない」ということは偽である fact3: もしもその熱風が一勝するとしたらあのアイデアは手荒い fact4: もしあのアイデアが精読だとするとその熱風は手荒い fact5: もし仮にあのアイデアが運命共同体でないとすればそれは精読だ ; $hypothesis$ = もしそのＡ社が理解致すならその熱風は手荒い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＡ社は理解致す; fact2 & assump1 -> int1: 「あのアイデアは運命共同体だけれど一勝しない」ということは偽だ; fact1 -> int2: もしも「あのアイデアは運命共同体であるけれど一勝しない」ということは誤りだとするとそれは精読だ; int1 & int2 -> int3: あのアイデアは精読だ; int3 & fact4 -> int4: その熱風は手荒い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし「なんらかの物は運命共同体である一方で一勝しない」ということは事実と異なるならそれは精読である
事実2: そのＡ社は理解致すなら「あのアイデアは運命共同体だけれど一勝しない」ということは偽である
事実3: もしもその熱風が一勝するとしたらあのアイデアは手荒い
事実4: もしあのアイデアが精読だとするとその熱風は手荒い
事実5: もし仮にあのアイデアが運命共同体でないとすればそれは精読だ

仮説: もしそのＡ社が理解致すならその熱風は手荒い
1. 仮定1: 以下のように仮定する。そのＡ社は理解致す
2. 事実2と仮定1から、推論1: "「あのアイデアは運命共同体だけれど一勝しない」ということは偽だ"が導かれる
3. 事実1から、推論2: "もしも「あのアイデアは運命共同体であるけれど一勝しない」ということは誤りだとするとそれは精読だ"が導かれる
4. 推論1と推論2から、推論3: "あのアイデアは精読だ"が導かれる
5. 推論3と事実4から、推論4: "その熱風は手荒い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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