あのカウンセリング講座は開削する
fact1: あるものが進出しないかあるいはそれは開削しないかどちらもだとしたらそれは開削するということはない fact2: その御孫さんは進出する fact3: あの等級毎は進出する fact4: その正価は進出する fact5: 何かは近代建築だとすれば二次判定だ fact6: その御味は進出する fact7: もしなにかは進出するとすれば近代建築である fact8: その御孫さんが近代建築ならばＧＩＭＰだ fact9: もしもその御孫さんがＧＩＭＰだとしたらその賛否は二次判定である fact10: 仮にその賛否がＧＩＭＰだということはないならその人伝ては近代建築で進出する fact11: もしもその賛否が二次判定だとするとあのカウンセリング講座は開削する fact12: もし仮に「なにがしかの物は開削するけどＧＩＭＰであるということはない」ということは確かでないとすれば開削しない
fact7 -> int1: もしもその御孫さんが進出すればそれは近代建築だ; int1 & fact2 -> int2: その御孫さんは近代建築だ; int2 & fact8 -> int3: その御孫さんはＧＩＭＰである; int3 & fact9 -> int4: その賛否は二次判定だ; int4 & fact11 -> hypothesis;
あのカウンセリング講座は開削するということはない
fact13 -> int5: 仮にあのカウンセリング講座が進出するということはないかあるいは開削しないかあるいは両方ともであるとしたらそれは開削しない;
$facts$ = fact1: あるものが進出しないかあるいはそれは開削しないかどちらもだとしたらそれは開削するということはない fact2: その御孫さんは進出する fact3: あの等級毎は進出する fact4: その正価は進出する fact5: 何かは近代建築だとすれば二次判定だ fact6: その御味は進出する fact7: もしなにかは進出するとすれば近代建築である fact8: その御孫さんが近代建築ならばＧＩＭＰだ fact9: もしもその御孫さんがＧＩＭＰだとしたらその賛否は二次判定である fact10: 仮にその賛否がＧＩＭＰだということはないならその人伝ては近代建築で進出する fact11: もしもその賛否が二次判定だとするとあのカウンセリング講座は開削する fact12: もし仮に「なにがしかの物は開削するけどＧＩＭＰであるということはない」ということは確かでないとすれば開削しない ; $hypothesis$ = あのカウンセリング講座は開削する ; $proof$ = 
fact7 -> int1: もしもその御孫さんが進出すればそれは近代建築だ; int1 & fact2 -> int2: その御孫さんは近代建築だ; int2 & fact8 -> int3: その御孫さんはＧＩＭＰである; int3 & fact9 -> int4: その賛否は二次判定だ; int4 & fact11 -> hypothesis; __PROVED__
事実1: あるものが進出しないかあるいはそれは開削しないかどちらもだとしたらそれは開削するということはない
事実2: その御孫さんは進出する
事実3: あの等級毎は進出する
事実4: その正価は進出する
事実5: 何かは近代建築だとすれば二次判定だ
事実6: その御味は進出する
事実7: もしなにかは進出するとすれば近代建築である
事実8: その御孫さんが近代建築ならばＧＩＭＰだ
事実9: もしもその御孫さんがＧＩＭＰだとしたらその賛否は二次判定である
事実10: 仮にその賛否がＧＩＭＰだということはないならその人伝ては近代建築で進出する
事実11: もしもその賛否が二次判定だとするとあのカウンセリング講座は開削する
事実12: もし仮に「なにがしかの物は開削するけどＧＩＭＰであるということはない」ということは確かでないとすれば開削しない

仮説: あのカウンセリング講座は開削する
1. 事実7から、推論1: "もしもその御孫さんが進出すればそれは近代建築だ"が導かれる
2. 推論1と事実2から、推論2: "その御孫さんは近代建築だ"が導かれる
3. 推論2と事実8から、推論3: "その御孫さんはＧＩＭＰである"が導かれる
4. 推論3と事実9から、推論4: "その賛否は二次判定だ"が導かれる
5. 推論4と事実11から、仮説が導かれる

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