「あの内外一体は怖くないし更に召命でない」ということは成り立つということはない
fact1: なにかは怖くないがそれは召命だ fact2: 「あの内外一体はＰＣＢでないけれどそれは怖い」ということは成り立たない fact3: 「その適格退職年金制度は説明し難いしそれは決算日後である」ということは間違いだ fact4: 「怖くない」ものはあるとしたら「「その適格退職年金制度は決算日後でないしさらにＰＣＢでない」ということは確かだ」ということは事実と異なる fact5: なにかは召命だ fact6: 「「スタート出来ないしまた生まれ易い」ということは成り立たない」物はある fact7: 「召命でない」物はある fact8: もし「「説明し難いということはなくてまた決算日後だ」ということは事実と異なる」物があるとするとあの合成繊維はＰＣＢだということはない fact9: 何らかのものがＰＣＢでないとしたらそれは怖くないしかつ召命でない fact10: 仮に「ＰＣＢでない」ものはあるとすれば「あの合成繊維は決算日後でないしおまけに説明し難くない」ということは成り立つということはない fact11: 「その適格退職年金制度は説明し難くないけどそれは決算日後だ」ということは成り立たない fact12: 「「怖くないけれどＰＣＢだ」ということは間違っている」物があるならあの内外一体は召命でない fact13: 「あの合成繊維は装着出来ないけれど苦しみ始める」ということは誤りである fact14: もしとあるものがＰＣＢでないとすればあの合成繊維は説明し難くない fact15: 最大投資額はある fact16: 「その適格退職年金制度は召命でないが決算日後だ」ということは事実と異なる fact17: もし「「ＰＣＢでない」ということは本当である」物はあるとしたら「あの内外一体は怖くなくてその上召命でない」ということは事実と異なる fact18: 怖くないものがあるとすればあの内外一体は召命でない fact19: 「「説明し難くないけれど怖い」ということは誤っている」物はある fact20: 「その適格退職年金制度は怖くないし加えて説明し難いということはない」ということは成り立たない fact21: 何らかの物はＰＣＢでないとしたら「それは説明し難くないし冬らしくない」ということは嘘だ
fact11 -> int1: 「「「説明し難くないけれど決算日後である」ということは事実だ」ということは成り立たない」物はある; int1 & fact8 -> int2: あの合成繊維はＰＣＢでない; int2 -> int3: 「「ＰＣＢでない」ということは正しい」物はある; int3 & fact17 -> hypothesis;
「この司命は説明し難くないしさらに冬らしいということはない」ということは偽である
fact22 -> int4: もし「この司命はＰＣＢでない」ということは真実なら「説明し難くないしかつ冬らしいということはない」ということは成り立たない;
$facts$ = fact1: なにかは怖くないがそれは召命だ fact2: 「あの内外一体はＰＣＢでないけれどそれは怖い」ということは成り立たない fact3: 「その適格退職年金制度は説明し難いしそれは決算日後である」ということは間違いだ fact4: 「怖くない」ものはあるとしたら「「その適格退職年金制度は決算日後でないしさらにＰＣＢでない」ということは確かだ」ということは事実と異なる fact5: なにかは召命だ fact6: 「「スタート出来ないしまた生まれ易い」ということは成り立たない」物はある fact7: 「召命でない」物はある fact8: もし「「説明し難いということはなくてまた決算日後だ」ということは事実と異なる」物があるとするとあの合成繊維はＰＣＢだということはない fact9: 何らかのものがＰＣＢでないとしたらそれは怖くないしかつ召命でない fact10: 仮に「ＰＣＢでない」ものはあるとすれば「あの合成繊維は決算日後でないしおまけに説明し難くない」ということは成り立つということはない fact11: 「その適格退職年金制度は説明し難くないけどそれは決算日後だ」ということは成り立たない fact12: 「「怖くないけれどＰＣＢだ」ということは間違っている」物があるならあの内外一体は召命でない fact13: 「あの合成繊維は装着出来ないけれど苦しみ始める」ということは誤りである fact14: もしとあるものがＰＣＢでないとすればあの合成繊維は説明し難くない fact15: 最大投資額はある fact16: 「その適格退職年金制度は召命でないが決算日後だ」ということは事実と異なる fact17: もし「「ＰＣＢでない」ということは本当である」物はあるとしたら「あの内外一体は怖くなくてその上召命でない」ということは事実と異なる fact18: 怖くないものがあるとすればあの内外一体は召命でない fact19: 「「説明し難くないけれど怖い」ということは誤っている」物はある fact20: 「その適格退職年金制度は怖くないし加えて説明し難いということはない」ということは成り立たない fact21: 何らかの物はＰＣＢでないとしたら「それは説明し難くないし冬らしくない」ということは嘘だ ; $hypothesis$ = 「あの内外一体は怖くないし更に召命でない」ということは成り立つということはない ; $proof$ = 
fact11 -> int1: 「「「説明し難くないけれど決算日後である」ということは事実だ」ということは成り立たない」物はある; int1 & fact8 -> int2: あの合成繊維はＰＣＢでない; int2 -> int3: 「「ＰＣＢでない」ということは正しい」物はある; int3 & fact17 -> hypothesis; __PROVED__
事実1: なにかは怖くないがそれは召命だ
事実2: 「あの内外一体はＰＣＢでないけれどそれは怖い」ということは成り立たない
事実3: 「その適格退職年金制度は説明し難いしそれは決算日後である」ということは間違いだ
事実4: 「怖くない」ものはあるとしたら「「その適格退職年金制度は決算日後でないしさらにＰＣＢでない」ということは確かだ」ということは事実と異なる
事実5: なにかは召命だ
事実6: 「「スタート出来ないしまた生まれ易い」ということは成り立たない」物はある
事実7: 「召命でない」物はある
事実8: もし「「説明し難いということはなくてまた決算日後だ」ということは事実と異なる」物があるとするとあの合成繊維はＰＣＢだということはない
事実9: 何らかのものがＰＣＢでないとしたらそれは怖くないしかつ召命でない
事実10: 仮に「ＰＣＢでない」ものはあるとすれば「あの合成繊維は決算日後でないしおまけに説明し難くない」ということは成り立つということはない
事実11: 「その適格退職年金制度は説明し難くないけどそれは決算日後だ」ということは成り立たない
事実12: 「「怖くないけれどＰＣＢだ」ということは間違っている」物があるならあの内外一体は召命でない
事実13: 「あの合成繊維は装着出来ないけれど苦しみ始める」ということは誤りである
事実14: もしとあるものがＰＣＢでないとすればあの合成繊維は説明し難くない
事実15: 最大投資額はある
事実16: 「その適格退職年金制度は召命でないが決算日後だ」ということは事実と異なる
事実17: もし「「ＰＣＢでない」ということは本当である」物はあるとしたら「あの内外一体は怖くなくてその上召命でない」ということは事実と異なる
事実18: 怖くないものがあるとすればあの内外一体は召命でない
事実19: 「「説明し難くないけれど怖い」ということは誤っている」物はある
事実20: 「その適格退職年金制度は怖くないし加えて説明し難いということはない」ということは成り立たない
事実21: 何らかの物はＰＣＢでないとしたら「それは説明し難くないし冬らしくない」ということは嘘だ

仮説: 「あの内外一体は怖くないし更に召命でない」ということは成り立つということはない
1. 事実11から、推論1: "「「「説明し難くないけれど決算日後である」ということは事実だ」ということは成り立たない」物はある"が導かれる
2. 推論1と事実8から、推論2: "あの合成繊維はＰＣＢでない"が導かれる
3. 推論2から、推論3: "「「ＰＣＢでない」ということは正しい」物はある"が導かれる
4. 推論3と事実17から、仮説が導かれる

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