この欅はポーカーフェイスでないけどそれは覚え易い
fact1: あの学級劇は覚え易い fact2: あの外部的要因は佐賀県教育委員会でない fact3: もしも「この欅は予定売り上げだ」ということは事実と異ならないとすればあの外部的要因はポーカーフェイスだ fact4: あの学級劇はポーカーフェイスだがしかし整列でないとしたら覚え易い fact5: 仮にこの欅が御寂しいとするとあの外部的要因は覚え易くないけどそれは整列である fact6: もしあの外部的要因が予定売り上げであるしそれは佐賀県教育委員会であるとすればそれは御寂しい fact7: もしもあの外部的要因がポーカーフェイスだとするとこの欅は御寂しい fact8: 仮にあの学級劇が整列であるならこの欅はポーカーフェイスでない一方でそれは覚え易い fact9: もしあの外部的要因は整列だとすれば「この欅はポーカーフェイスでない一方で覚え易い」ということは事実と異なる fact10: 「あの外部的要因はポーカーフェイスでない」ということは正しい fact11: 「この欅は取り難い」ということは成り立つ fact12: 仮になにがしかの物がキャンプ・ファイアだということはないならば御寂しくておまけに整列だ fact13: もしあの外部的要因が御寂しいとしたらあの学級劇は整列だ fact14: あの外部的要因は予定売り上げだけれど佐賀県教育委員会でない fact15: この三半規管が突き上げるかもしくはいじましくないとすればあの外部的要因はいじましい fact16: 「この三半規管はテレビ・ラジオ等でまたそれは救い難い」ということは間違いである fact17: もし仮に「この三半規管がテレビ・ラジオ等だしそれは救い難い」ということは間違っていればそれはテレビ・ラジオ等でない fact18: もしあの外部的要因は予定売り上げであるけれど佐賀県教育委員会でないとしたら「御寂しい」ということは確かである fact19: あの学級劇が整列であるならばあの欅はポーカーフェイスでない fact20: あの外部的要因は佐賀県教育委員会でない一方でそれは覚え易い fact21: 仮にこの三半規管はテレビ・ラジオ等だということはないなら「それは突き上げるかまたはそれはいじましくない」ということは成り立つ fact22: もしいじましいものは原告等であるとすればキャンプ・ファイアでない
fact18 & fact14 -> int1: あの外部的要因は御寂しい; int1 & fact13 -> int2: あの学級劇は整列だ; int2 & fact8 -> hypothesis;
fact18 & fact14 -> int1: {B}{a}; int1 & fact13 -> int2: {A}{b}; int2 & fact8 -> hypothesis;
「この欅はポーカーフェイスでないけど覚え易い」ということは間違いだ
fact25 -> int3: もしあの外部的要因がキャンプ・ファイアでないとするとそれは御寂しいし加えてそれは整列だ; fact27 -> int4: もし仮にあの外部的要因はいじましくておまけに原告等であるとしたらそれはキャンプ・ファイアでない; fact29 & fact26 -> int5: この三半規管はテレビ・ラジオ等でない; fact28 & int5 -> int6: この三半規管は突き上げるかそれはいじましくない; fact23 & int6 -> int7: あの外部的要因はいじましい;
$facts$ = fact1: あの学級劇は覚え易い fact2: あの外部的要因は佐賀県教育委員会でない fact3: もしも「この欅は予定売り上げだ」ということは事実と異ならないとすればあの外部的要因はポーカーフェイスだ fact4: あの学級劇はポーカーフェイスだがしかし整列でないとしたら覚え易い fact5: 仮にこの欅が御寂しいとするとあの外部的要因は覚え易くないけどそれは整列である fact6: もしあの外部的要因が予定売り上げであるしそれは佐賀県教育委員会であるとすればそれは御寂しい fact7: もしもあの外部的要因がポーカーフェイスだとするとこの欅は御寂しい fact8: 仮にあの学級劇が整列であるならこの欅はポーカーフェイスでない一方でそれは覚え易い fact9: もしあの外部的要因は整列だとすれば「この欅はポーカーフェイスでない一方で覚え易い」ということは事実と異なる fact10: 「あの外部的要因はポーカーフェイスでない」ということは正しい fact11: 「この欅は取り難い」ということは成り立つ fact12: 仮になにがしかの物がキャンプ・ファイアだということはないならば御寂しくておまけに整列だ fact13: もしあの外部的要因が御寂しいとしたらあの学級劇は整列だ fact14: あの外部的要因は予定売り上げだけれど佐賀県教育委員会でない fact15: この三半規管が突き上げるかもしくはいじましくないとすればあの外部的要因はいじましい fact16: 「この三半規管はテレビ・ラジオ等でまたそれは救い難い」ということは間違いである fact17: もし仮に「この三半規管がテレビ・ラジオ等だしそれは救い難い」ということは間違っていればそれはテレビ・ラジオ等でない fact18: もしあの外部的要因は予定売り上げであるけれど佐賀県教育委員会でないとしたら「御寂しい」ということは確かである fact19: あの学級劇が整列であるならばあの欅はポーカーフェイスでない fact20: あの外部的要因は佐賀県教育委員会でない一方でそれは覚え易い fact21: 仮にこの三半規管はテレビ・ラジオ等だということはないなら「それは突き上げるかまたはそれはいじましくない」ということは成り立つ fact22: もしいじましいものは原告等であるとすればキャンプ・ファイアでない ; $hypothesis$ = この欅はポーカーフェイスでないけどそれは覚え易い ; $proof$ = 
fact18 & fact14 -> int1: あの外部的要因は御寂しい; int1 & fact13 -> int2: あの学級劇は整列だ; int2 & fact8 -> hypothesis; __PROVED__
事実1: あの学級劇は覚え易い
事実2: あの外部的要因は佐賀県教育委員会でない
事実3: もしも「この欅は予定売り上げだ」ということは事実と異ならないとすればあの外部的要因はポーカーフェイスだ
事実4: あの学級劇はポーカーフェイスだがしかし整列でないとしたら覚え易い
事実5: 仮にこの欅が御寂しいとするとあの外部的要因は覚え易くないけどそれは整列である
事実6: もしあの外部的要因が予定売り上げであるしそれは佐賀県教育委員会であるとすればそれは御寂しい
事実7: もしもあの外部的要因がポーカーフェイスだとするとこの欅は御寂しい
事実8: 仮にあの学級劇が整列であるならこの欅はポーカーフェイスでない一方でそれは覚え易い
事実9: もしあの外部的要因は整列だとすれば「この欅はポーカーフェイスでない一方で覚え易い」ということは事実と異なる
事実10: 「あの外部的要因はポーカーフェイスでない」ということは正しい
事実11: 「この欅は取り難い」ということは成り立つ
事実12: 仮になにがしかの物がキャンプ・ファイアだということはないならば御寂しくておまけに整列だ
事実13: もしあの外部的要因が御寂しいとしたらあの学級劇は整列だ
事実14: あの外部的要因は予定売り上げだけれど佐賀県教育委員会でない
事実15: この三半規管が突き上げるかもしくはいじましくないとすればあの外部的要因はいじましい
事実16: 「この三半規管はテレビ・ラジオ等でまたそれは救い難い」ということは間違いである
事実17: もし仮に「この三半規管がテレビ・ラジオ等だしそれは救い難い」ということは間違っていればそれはテレビ・ラジオ等でない
事実18: もしあの外部的要因は予定売り上げであるけれど佐賀県教育委員会でないとしたら「御寂しい」ということは確かである
事実19: あの学級劇が整列であるならばあの欅はポーカーフェイスでない
事実20: あの外部的要因は佐賀県教育委員会でない一方でそれは覚え易い
事実21: 仮にこの三半規管はテレビ・ラジオ等だということはないなら「それは突き上げるかまたはそれはいじましくない」ということは成り立つ
事実22: もしいじましいものは原告等であるとすればキャンプ・ファイアでない

仮説: この欅はポーカーフェイスでないけどそれは覚え易い
1. 事実18と事実14から、推論1: "あの外部的要因は御寂しい"が導かれる
2. 推論1と事実13から、推論2: "あの学級劇は整列だ"が導かれる
3. 推論2と事実8から、仮説が導かれる

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