この一年単位はカリスマ的リーダーシップでない
fact1: この一年単位は這うということはない fact2: もし仮になんらかのものは赤黒くないとしたら「それはカリスマ的リーダーシップでないし加えて充電しない」ということは誤っている fact3: 「その当局者は充電しない」ということは確かであるとしたらそのＨ社は田中家文書でない fact4: そのＨ社はアートメイキングでない fact5: 「その当局者は求め始めるけどそれは充電しない」ということは成り立たない fact6: もし仮にそのＨ社は田中家文書でないとすると求め始めるけどアートメイキングでない fact7: この牛糞は田中家文書であるということはない fact8: 仮にあるものはアートメイキングであるならそれは求め始める fact9: もしあの倉庫証券が充電しないとするとその当局者は焦点付けない fact10: もしもこの住持が硝酸塩標準溶液であるが這わないとするとその当局者は充電しない fact11: 「この住持は田中家文書であるしまた赤黒い」ということは偽である fact12: もしあの倉庫証券が焦点付けるということはないならばそれが田中家文書だしさらに求め始めない fact13: もしあの倉庫証券が焦点付けるということはないとしたらこの一年単位はカリスマ的リーダーシップでない fact14: そのＨ社が求め始めるけれどそれがアートメイキングでないとするとあの倉庫証券は焦点付けない fact15: 「何かはカリスマ的リーダーシップでないし充電しない」ということは間違っているとしたら「それはカリスマ的リーダーシップである」ということは正しい fact16: そのＨ社が田中家文書である一方で焦点付けないとしたらあの倉庫証券は硝酸塩標準溶液でない fact17: この住持は興味深い一方で明るくない fact18: この住持は赤黒くない fact19: もし「この住持は硝酸塩標準溶液である一方で這わない」ということは偽であるならばそれは赤黒い fact20: 仮にこの住持が求め始めればこの一年単位は赤黒くないけど田中家文書である fact21: そのＨ社は寮生だけれど焦点付けない
void -> assump1: 以下のように仮定する。「この住持は硝酸塩標準溶液であるけれど這わない」ということは事実と異なる; fact19 & assump1 -> int1: この住持は赤黒い; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: この住持は硝酸塩標準溶液である一方で這わない; int3 & fact10 -> int4: その当局者は充電しない; int4 & fact3 -> int5: そのＨ社は田中家文書でない; int5 & fact6 -> int6: そのＨ社は求め始めるけれどアートメイキングでない; int6 & fact14 -> int7: あの倉庫証券は焦点付けない; int7 & fact13 -> hypothesis;
この一年単位はカリスマ的リーダーシップである
fact24 -> int8: 「この一年単位はカリスマ的リーダーシップでないしさらにそれは充電しない」ということは間違っているとしたらそれはカリスマ的リーダーシップだ; fact23 -> int9: もし「この一年単位は赤黒くない」ということは事実であるとすれば「カリスマ的リーダーシップでないしさらに充電するということはない」ということは成り立たない; fact22 -> int10: この住持がアートメイキングならばそれは求め始める;
$facts$ = fact1: この一年単位は這うということはない fact2: もし仮になんらかのものは赤黒くないとしたら「それはカリスマ的リーダーシップでないし加えて充電しない」ということは誤っている fact3: 「その当局者は充電しない」ということは確かであるとしたらそのＨ社は田中家文書でない fact4: そのＨ社はアートメイキングでない fact5: 「その当局者は求め始めるけどそれは充電しない」ということは成り立たない fact6: もし仮にそのＨ社は田中家文書でないとすると求め始めるけどアートメイキングでない fact7: この牛糞は田中家文書であるということはない fact8: 仮にあるものはアートメイキングであるならそれは求め始める fact9: もしあの倉庫証券が充電しないとするとその当局者は焦点付けない fact10: もしもこの住持が硝酸塩標準溶液であるが這わないとするとその当局者は充電しない fact11: 「この住持は田中家文書であるしまた赤黒い」ということは偽である fact12: もしあの倉庫証券が焦点付けるということはないならばそれが田中家文書だしさらに求め始めない fact13: もしあの倉庫証券が焦点付けるということはないとしたらこの一年単位はカリスマ的リーダーシップでない fact14: そのＨ社が求め始めるけれどそれがアートメイキングでないとするとあの倉庫証券は焦点付けない fact15: 「何かはカリスマ的リーダーシップでないし充電しない」ということは間違っているとしたら「それはカリスマ的リーダーシップである」ということは正しい fact16: そのＨ社が田中家文書である一方で焦点付けないとしたらあの倉庫証券は硝酸塩標準溶液でない fact17: この住持は興味深い一方で明るくない fact18: この住持は赤黒くない fact19: もし「この住持は硝酸塩標準溶液である一方で這わない」ということは偽であるならばそれは赤黒い fact20: 仮にこの住持が求め始めればこの一年単位は赤黒くないけど田中家文書である fact21: そのＨ社は寮生だけれど焦点付けない ; $hypothesis$ = この一年単位はカリスマ的リーダーシップでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この住持は硝酸塩標準溶液であるけれど這わない」ということは事実と異なる; fact19 & assump1 -> int1: この住持は赤黒い; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: この住持は硝酸塩標準溶液である一方で這わない; int3 & fact10 -> int4: その当局者は充電しない; int4 & fact3 -> int5: そのＨ社は田中家文書でない; int5 & fact6 -> int6: そのＨ社は求め始めるけれどアートメイキングでない; int6 & fact14 -> int7: あの倉庫証券は焦点付けない; int7 & fact13 -> hypothesis; __PROVED__
事実1: この一年単位は這うということはない
事実2: もし仮になんらかのものは赤黒くないとしたら「それはカリスマ的リーダーシップでないし加えて充電しない」ということは誤っている
事実3: 「その当局者は充電しない」ということは確かであるとしたらそのＨ社は田中家文書でない
事実4: そのＨ社はアートメイキングでない
事実5: 「その当局者は求め始めるけどそれは充電しない」ということは成り立たない
事実6: もし仮にそのＨ社は田中家文書でないとすると求め始めるけどアートメイキングでない
事実7: この牛糞は田中家文書であるということはない
事実8: 仮にあるものはアートメイキングであるならそれは求め始める
事実9: もしあの倉庫証券が充電しないとするとその当局者は焦点付けない
事実10: もしもこの住持が硝酸塩標準溶液であるが這わないとするとその当局者は充電しない
事実11: 「この住持は田中家文書であるしまた赤黒い」ということは偽である
事実12: もしあの倉庫証券が焦点付けるということはないならばそれが田中家文書だしさらに求め始めない
事実13: もしあの倉庫証券が焦点付けるということはないとしたらこの一年単位はカリスマ的リーダーシップでない
事実14: そのＨ社が求め始めるけれどそれがアートメイキングでないとするとあの倉庫証券は焦点付けない
事実15: 「何かはカリスマ的リーダーシップでないし充電しない」ということは間違っているとしたら「それはカリスマ的リーダーシップである」ということは正しい
事実16: そのＨ社が田中家文書である一方で焦点付けないとしたらあの倉庫証券は硝酸塩標準溶液でない
事実17: この住持は興味深い一方で明るくない
事実18: この住持は赤黒くない
事実19: もし「この住持は硝酸塩標準溶液である一方で這わない」ということは偽であるならばそれは赤黒い
事実20: 仮にこの住持が求め始めればこの一年単位は赤黒くないけど田中家文書である
事実21: そのＨ社は寮生だけれど焦点付けない

仮説: この一年単位はカリスマ的リーダーシップでない
1. 仮定1: 以下のように仮定する。「この住持は硝酸塩標準溶液であるけれど這わない」ということは事実と異なる
2. 事実19と仮定1から、推論1: "この住持は赤黒い"が導かれる
3. 推論1と事実18から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この住持は硝酸塩標準溶液である一方で這わない"が導かれる
5. 推論3と事実10から、推論4: "その当局者は充電しない"が導かれる
6. 推論4と事実3から、推論5: "そのＨ社は田中家文書でない"が導かれる
7. 推論5と事実6から、推論6: "そのＨ社は求め始めるけれどアートメイキングでない"が導かれる
8. 推論6と事実14から、推論7: "あの倉庫証券は焦点付けない"が導かれる
9. 推論7と事実13から、仮説が導かれる

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