あの箒は真っ暗い
fact1: 「あの箒は召し抱える」ということは成り立つ fact2: もし仮にあの箒は見過ごせば「そのＧＮＲＨは真っ暗い」ということは正しい fact3: 「真っ暗くないか召し抱えないかどちらもである」物があればあの箒は真っ暗くない fact4: そのＧＮＲＨは真っ暗い fact5: そのＧＮＲＨは見過ごす fact6: もしもそのＧＮＲＨが召し抱えるとしたらあの箒は真っ暗い fact7: そのＧＮＲＨはターゲット市場だ fact8: 仮になにかは見過ごすということはないとすれば真っ暗くない fact9: あの箒は見過ごす fact10: そのＧＮＲＨは見過ごすししかも召し抱える
fact10 -> int1: 「そのＧＮＲＨは召し抱える」ということは成り立つ; int1 & fact6 -> hypothesis;
あの箒は真っ暗くない
fact11 -> int2: もしも「あの箒は見過ごさない」ということは本当であるなら「真っ暗い」ということは間違っている;
$facts$ = fact1: 「あの箒は召し抱える」ということは成り立つ fact2: もし仮にあの箒は見過ごせば「そのＧＮＲＨは真っ暗い」ということは正しい fact3: 「真っ暗くないか召し抱えないかどちらもである」物があればあの箒は真っ暗くない fact4: そのＧＮＲＨは真っ暗い fact5: そのＧＮＲＨは見過ごす fact6: もしもそのＧＮＲＨが召し抱えるとしたらあの箒は真っ暗い fact7: そのＧＮＲＨはターゲット市場だ fact8: 仮になにかは見過ごすということはないとすれば真っ暗くない fact9: あの箒は見過ごす fact10: そのＧＮＲＨは見過ごすししかも召し抱える ; $hypothesis$ = あの箒は真っ暗い ; $proof$ = 
fact10 -> int1: 「そのＧＮＲＨは召し抱える」ということは成り立つ; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「あの箒は召し抱える」ということは成り立つ
事実2: もし仮にあの箒は見過ごせば「そのＧＮＲＨは真っ暗い」ということは正しい
事実3: 「真っ暗くないか召し抱えないかどちらもである」物があればあの箒は真っ暗くない
事実4: そのＧＮＲＨは真っ暗い
事実5: そのＧＮＲＨは見過ごす
事実6: もしもそのＧＮＲＨが召し抱えるとしたらあの箒は真っ暗い
事実7: そのＧＮＲＨはターゲット市場だ
事実8: 仮になにかは見過ごすということはないとすれば真っ暗くない
事実9: あの箒は見過ごす
事実10: そのＧＮＲＨは見過ごすししかも召し抱える

仮説: あの箒は真っ暗い
1. 事実10から、推論1: "「そのＧＮＲＨは召し抱える」ということは成り立つ"が導かれる
2. 推論1と事実6から、仮説が導かれる

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