あの七×九ドットは合流するということはない
fact1: あの七×九ドットは婚姻費用である fact2: あの電気通信事業法は合流するということはない fact3: あの七×九ドットは直営店であるかあるいはそれはスカウトする fact4: もし仮にこの連合国軍が合流するとすればあの七×九ドットは合流する fact5: その当てはスカウトしない fact6: もしあの七×九ドットが直営店であるかまたはそれがスカウトするとしたら手荒くない fact7: その日本国籍は合流する fact8: あの七×九ドットは流され易くない fact9: あの七×九ドットは直営店であるとしたら手荒いということはない fact10: あの七×九ドットが手荒いなら物凄まじい fact11: あの七×九ドットが動物解放だとすればそれは経済特区である fact12: 仮にあの七×九ドットが合流するなら手荒い
void -> assump1: 以下のように仮定する。あの七×九ドットは合流する; fact12 & assump1 -> int1: あの七×九ドットは手荒い; fact6 & fact3 -> int2: あの七×九ドットは手荒いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの七×九ドットは合流する
$facts$ = fact1: あの七×九ドットは婚姻費用である fact2: あの電気通信事業法は合流するということはない fact3: あの七×九ドットは直営店であるかあるいはそれはスカウトする fact4: もし仮にこの連合国軍が合流するとすればあの七×九ドットは合流する fact5: その当てはスカウトしない fact6: もしあの七×九ドットが直営店であるかまたはそれがスカウトするとしたら手荒くない fact7: その日本国籍は合流する fact8: あの七×九ドットは流され易くない fact9: あの七×九ドットは直営店であるとしたら手荒いということはない fact10: あの七×九ドットが手荒いなら物凄まじい fact11: あの七×九ドットが動物解放だとすればそれは経済特区である fact12: 仮にあの七×九ドットが合流するなら手荒い ; $hypothesis$ = あの七×九ドットは合流するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの七×九ドットは合流する; fact12 & assump1 -> int1: あの七×九ドットは手荒い; fact6 & fact3 -> int2: あの七×九ドットは手荒いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの七×九ドットは婚姻費用である
事実2: あの電気通信事業法は合流するということはない
事実3: あの七×九ドットは直営店であるかあるいはそれはスカウトする
事実4: もし仮にこの連合国軍が合流するとすればあの七×九ドットは合流する
事実5: その当てはスカウトしない
事実6: もしあの七×九ドットが直営店であるかまたはそれがスカウトするとしたら手荒くない
事実7: その日本国籍は合流する
事実8: あの七×九ドットは流され易くない
事実9: あの七×九ドットは直営店であるとしたら手荒いということはない
事実10: あの七×九ドットが手荒いなら物凄まじい
事実11: あの七×九ドットが動物解放だとすればそれは経済特区である
事実12: 仮にあの七×九ドットが合流するなら手荒い

仮説: あの七×九ドットは合流するということはない
1. 仮定1: 以下のように仮定する。あの七×九ドットは合流する
2. 事実12と仮定1から、推論1: "あの七×九ドットは手荒い"が導かれる
3. 事実6と事実3から、推論2: "あの七×九ドットは手荒いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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