「あの介護休暇は夷賊だ」ということは事実だ
fact1: もしもその神童は出来致すけれど付け方でないなら「あの介護休暇は付け方である」ということは事実だ fact2: 付け方は夷賊だ fact3: もし「その神童は付け方であるかまたはそれは使い果たすかまたは両方だ」ということは確かだとするとあの介護休暇は夷賊でない fact4: 「「とある物は夷賊でなくてそれに使い果たさない」ということは成り立つ」ということは成り立たないとすると付け方だ fact5: その相互依存関係は付け方であるかもしくは昼頃であるかあるいはどちらもだ fact6: その神童は付け方だ fact7: もし仮に「「女の子らしくない一方でソーシャル・ワーカーである」ということは嘘である」物があるとするとこの農林系金融機関は落ちない fact8: もしも「とあるものが口さはなくて加えて落ちる」ということは誤っていれば使い果たさない fact9: もしもある物が使い果たさないとしたらそれは出来致すしさらに付け方でない fact10: 仮にその十時頃は持ち易いとすると「その代赭色は女の子らしいということはないけれどソーシャル・ワーカーだ」ということは成り立たない fact11: その十時頃は持ち易い
fact6 -> int1: その神童は付け方であるかもしくは使い果たす; int1 & fact3 -> hypothesis;
この右図は付け方である
fact12 -> int2: 「もし「この右図は夷賊だということはないし使い果たさない」ということは嘘ならばあの右図は付け方である」ということは本当である;
$facts$ = fact1: もしもその神童は出来致すけれど付け方でないなら「あの介護休暇は付け方である」ということは事実だ fact2: 付け方は夷賊だ fact3: もし「その神童は付け方であるかまたはそれは使い果たすかまたは両方だ」ということは確かだとするとあの介護休暇は夷賊でない fact4: 「「とある物は夷賊でなくてそれに使い果たさない」ということは成り立つ」ということは成り立たないとすると付け方だ fact5: その相互依存関係は付け方であるかもしくは昼頃であるかあるいはどちらもだ fact6: その神童は付け方だ fact7: もし仮に「「女の子らしくない一方でソーシャル・ワーカーである」ということは嘘である」物があるとするとこの農林系金融機関は落ちない fact8: もしも「とあるものが口さはなくて加えて落ちる」ということは誤っていれば使い果たさない fact9: もしもある物が使い果たさないとしたらそれは出来致すしさらに付け方でない fact10: 仮にその十時頃は持ち易いとすると「その代赭色は女の子らしいということはないけれどソーシャル・ワーカーだ」ということは成り立たない fact11: その十時頃は持ち易い ; $hypothesis$ = 「あの介護休暇は夷賊だ」ということは事実だ ; $proof$ = 
fact6 -> int1: その神童は付け方であるかもしくは使い果たす; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもその神童は出来致すけれど付け方でないなら「あの介護休暇は付け方である」ということは事実だ
事実2: 付け方は夷賊だ
事実3: もし「その神童は付け方であるかまたはそれは使い果たすかまたは両方だ」ということは確かだとするとあの介護休暇は夷賊でない
事実4: 「「とある物は夷賊でなくてそれに使い果たさない」ということは成り立つ」ということは成り立たないとすると付け方だ
事実5: その相互依存関係は付け方であるかもしくは昼頃であるかあるいはどちらもだ
事実6: その神童は付け方だ
事実7: もし仮に「「女の子らしくない一方でソーシャル・ワーカーである」ということは嘘である」物があるとするとこの農林系金融機関は落ちない
事実8: もしも「とあるものが口さはなくて加えて落ちる」ということは誤っていれば使い果たさない
事実9: もしもある物が使い果たさないとしたらそれは出来致すしさらに付け方でない
事実10: 仮にその十時頃は持ち易いとすると「その代赭色は女の子らしいということはないけれどソーシャル・ワーカーだ」ということは成り立たない
事実11: その十時頃は持ち易い

仮説: 「あの介護休暇は夷賊だ」ということは事実だ
1. 事実6から、推論1: "その神童は付け方であるかもしくは使い果たす"が導かれる
2. 推論1と事実3から、仮説が否定される

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