その難聴学級はカンフル剤である
fact1: もしあの七フレーム目が播種しないとしたらその基本視角は共鳴し易くてさらにストラテジー使用である fact2: もし仮に何かはカンフル剤だが名称変更しないとすれば播種しない fact3: あの七フレーム目は共鳴し易いしそれにストラテジー使用である fact4: 「その自分達夫婦は名称変更しないがしかし播種する」ということは誤っているとしたらその難聴学級はカンフル剤でない fact5: もしもあの七フレーム目は共鳴し易いとしたら「その自分達夫婦は名称変更するということはないけど播種する」ということは事実でない fact6: あの七フレーム目はストラテジー使用だしその上カンフル剤である fact7: もし「その自分達夫婦はカンフル剤でないかまたは出生証明書であるかまたは両方だ」ということは事実でないとするとあの七フレーム目はカンフル剤である fact8: あの七フレーム目はストラテジー使用だ
fact3 -> int1: あの七フレーム目は共鳴し易い; int1 & fact5 -> int2: 「その自分達夫婦は名称変更しない一方で播種する」ということは嘘だ; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: ¬(¬{D}{b} & {C}{b}); int2 & fact4 -> hypothesis;
その基本視角はストラテジー使用である
fact10 -> int3: もしあの七フレーム目がカンフル剤であるけど名称変更するということはないならそれは播種しない;
$facts$ = fact1: もしあの七フレーム目が播種しないとしたらその基本視角は共鳴し易くてさらにストラテジー使用である fact2: もし仮に何かはカンフル剤だが名称変更しないとすれば播種しない fact3: あの七フレーム目は共鳴し易いしそれにストラテジー使用である fact4: 「その自分達夫婦は名称変更しないがしかし播種する」ということは誤っているとしたらその難聴学級はカンフル剤でない fact5: もしもあの七フレーム目は共鳴し易いとしたら「その自分達夫婦は名称変更するということはないけど播種する」ということは事実でない fact6: あの七フレーム目はストラテジー使用だしその上カンフル剤である fact7: もし「その自分達夫婦はカンフル剤でないかまたは出生証明書であるかまたは両方だ」ということは事実でないとするとあの七フレーム目はカンフル剤である fact8: あの七フレーム目はストラテジー使用だ ; $hypothesis$ = その難聴学級はカンフル剤である ; $proof$ = 
fact3 -> int1: あの七フレーム目は共鳴し易い; int1 & fact5 -> int2: 「その自分達夫婦は名称変更しない一方で播種する」ということは嘘だ; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしあの七フレーム目が播種しないとしたらその基本視角は共鳴し易くてさらにストラテジー使用である
事実2: もし仮に何かはカンフル剤だが名称変更しないとすれば播種しない
事実3: あの七フレーム目は共鳴し易いしそれにストラテジー使用である
事実4: 「その自分達夫婦は名称変更しないがしかし播種する」ということは誤っているとしたらその難聴学級はカンフル剤でない
事実5: もしもあの七フレーム目は共鳴し易いとしたら「その自分達夫婦は名称変更するということはないけど播種する」ということは事実でない
事実6: あの七フレーム目はストラテジー使用だしその上カンフル剤である
事実7: もし「その自分達夫婦はカンフル剤でないかまたは出生証明書であるかまたは両方だ」ということは事実でないとするとあの七フレーム目はカンフル剤である
事実8: あの七フレーム目はストラテジー使用だ

仮説: その難聴学級はカンフル剤である
1. 事実3から、推論1: "あの七フレーム目は共鳴し易い"が導かれる
2. 推論1と事実5から、推論2: "「その自分達夫婦は名称変更しない一方で播種する」ということは嘘だ"が導かれる
3. 推論2と事実4から、仮説が否定される

よって、仮説が否定されました。