「この新要素は手早いということはないかあるいはそれは交渉成立でないかまたは両方ともである」ということは嘘である
fact1: もしなんらかのものが額装するしさらに形容し難いとするとそれは大鳥でない fact2: もし仮に何らかの物は大鳥でないとしたら「睦まじいししかもそれは痛み易い」ということは成り立たない fact3: この新要素は交渉成立である fact4: あの接近中が代行しないならあのトラブル事例は額装するしそれは尽くし難い fact5: あのトラブル事例はファイアウォールでない fact6: あの接近中は代行しない fact7: もしあの接近中が手早くないとするとこの新要素は交渉成立である fact8: あの接近中が社会上だということはないとするとあのトラブル事例は交渉成立であるがしかしファイアウォールであるということはない fact9: もし仮にあの接近中は手早くないとすると「この新要素は手早いということはないかまたは交渉成立でないかどちらもである」ということは本当でない fact10: 「「あのトラブル事例はファイアウォールでないけどそれは堅苦しい」ということは成り立たない」ということは本当であるならばこの新要素は手早くない fact11: 「この新要素は交渉成立でないかもしくはそれはファイアウォールでないかあるいは両方である」ということは誤っている fact12: もし仮に「なんらかの物は睦まじいし更に痛み易い」ということは偽だとしたらそれは痛み易くない fact13: もしもあのトラブル事例がファイアウォールであるということはないとするとあの接近中は社会上だ一方で手早くない fact14: もし仮にあのトラブル事例はファイアウォールであるということはないとしたら「この新要素はファイアウォールでないかあるいはそれは交渉成立でない」ということは真実でない fact15: もし仮にあのトラブル事例がファイアウォールでないとすればあの接近中は社会上だ fact16: もしある物はファイアウォールであるなら「指だということはないかもしくは交渉成立でない」ということは成り立つということはない fact17: あの接近中は社会上である fact18: もし仮に何らかのものは痛み易くないとすれば「それはファイアウォールでなくて加えてそれは堅苦しい」ということは成り立たない
fact13 & fact5 -> int1: あの接近中は社会上だけど手早くない; int1 -> int2: あの接近中は手早くない; int2 & fact9 -> hypothesis;
「あのジャガ芋は指でないかあるいは交渉成立でないかまたはどちらもである」ということは事実と異なる
fact19 -> int3: 仮にあのジャガ芋はファイアウォールであるとすると「それは指でないかもしくは交渉成立でないかあるいはどちらもだ」ということは事実であるということはない;
$facts$ = fact1: もしなんらかのものが額装するしさらに形容し難いとするとそれは大鳥でない fact2: もし仮に何らかの物は大鳥でないとしたら「睦まじいししかもそれは痛み易い」ということは成り立たない fact3: この新要素は交渉成立である fact4: あの接近中が代行しないならあのトラブル事例は額装するしそれは尽くし難い fact5: あのトラブル事例はファイアウォールでない fact6: あの接近中は代行しない fact7: もしあの接近中が手早くないとするとこの新要素は交渉成立である fact8: あの接近中が社会上だということはないとするとあのトラブル事例は交渉成立であるがしかしファイアウォールであるということはない fact9: もし仮にあの接近中は手早くないとすると「この新要素は手早いということはないかまたは交渉成立でないかどちらもである」ということは本当でない fact10: 「「あのトラブル事例はファイアウォールでないけどそれは堅苦しい」ということは成り立たない」ということは本当であるならばこの新要素は手早くない fact11: 「この新要素は交渉成立でないかもしくはそれはファイアウォールでないかあるいは両方である」ということは誤っている fact12: もし仮に「なんらかの物は睦まじいし更に痛み易い」ということは偽だとしたらそれは痛み易くない fact13: もしもあのトラブル事例がファイアウォールであるということはないとするとあの接近中は社会上だ一方で手早くない fact14: もし仮にあのトラブル事例はファイアウォールであるということはないとしたら「この新要素はファイアウォールでないかあるいはそれは交渉成立でない」ということは真実でない fact15: もし仮にあのトラブル事例がファイアウォールでないとすればあの接近中は社会上だ fact16: もしある物はファイアウォールであるなら「指だということはないかもしくは交渉成立でない」ということは成り立つということはない fact17: あの接近中は社会上である fact18: もし仮に何らかのものは痛み易くないとすれば「それはファイアウォールでなくて加えてそれは堅苦しい」ということは成り立たない ; $hypothesis$ = 「この新要素は手早いということはないかあるいはそれは交渉成立でないかまたは両方ともである」ということは嘘である ; $proof$ = 
fact13 & fact5 -> int1: あの接近中は社会上だけど手早くない; int1 -> int2: あの接近中は手早くない; int2 & fact9 -> hypothesis; __PROVED__
事実1: もしなんらかのものが額装するしさらに形容し難いとするとそれは大鳥でない
事実2: もし仮に何らかの物は大鳥でないとしたら「睦まじいししかもそれは痛み易い」ということは成り立たない
事実3: この新要素は交渉成立である
事実4: あの接近中が代行しないならあのトラブル事例は額装するしそれは尽くし難い
事実5: あのトラブル事例はファイアウォールでない
事実6: あの接近中は代行しない
事実7: もしあの接近中が手早くないとするとこの新要素は交渉成立である
事実8: あの接近中が社会上だということはないとするとあのトラブル事例は交渉成立であるがしかしファイアウォールであるということはない
事実9: もし仮にあの接近中は手早くないとすると「この新要素は手早いということはないかまたは交渉成立でないかどちらもである」ということは本当でない
事実10: 「「あのトラブル事例はファイアウォールでないけどそれは堅苦しい」ということは成り立たない」ということは本当であるならばこの新要素は手早くない
事実11: 「この新要素は交渉成立でないかもしくはそれはファイアウォールでないかあるいは両方である」ということは誤っている
事実12: もし仮に「なんらかの物は睦まじいし更に痛み易い」ということは偽だとしたらそれは痛み易くない
事実13: もしもあのトラブル事例がファイアウォールであるということはないとするとあの接近中は社会上だ一方で手早くない
事実14: もし仮にあのトラブル事例はファイアウォールであるということはないとしたら「この新要素はファイアウォールでないかあるいはそれは交渉成立でない」ということは真実でない
事実15: もし仮にあのトラブル事例がファイアウォールでないとすればあの接近中は社会上だ
事実16: もしある物はファイアウォールであるなら「指だということはないかもしくは交渉成立でない」ということは成り立つということはない
事実17: あの接近中は社会上である
事実18: もし仮に何らかのものは痛み易くないとすれば「それはファイアウォールでなくて加えてそれは堅苦しい」ということは成り立たない

仮説: 「この新要素は手早いということはないかあるいはそれは交渉成立でないかまたは両方ともである」ということは嘘である
1. 事実13と事実5から、推論1: "あの接近中は社会上だけど手早くない"が導かれる
2. 推論1から、推論2: "あの接近中は手早くない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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