「この相互チェック機能は嘘っぽくないしかつ扱き上げるということはない」ということは正しくない
fact1: 何らかのものは全繊同盟でないとすれば「嘘っぽくなくてしかも扱き上げない」ということは確かである fact2: 「全繊同盟である」物はある fact3: もし「全繊同盟だということはない」ものはあるとすると「この相互チェック機能は嘘っぽくないが扱き上げる」ということは成り立たない fact4: 「「全繊同盟でない」物はあるとしたら「この相互チェック機能は嘘っぽいけれど扱き上げない」ということは誤りである」ということは真実である fact5: 「この相互チェック機能は嘘っぽい一方で扱き上げない」ということは成り立たない fact6: 「この相互チェック機能は信心深くなくてそれに嘘っぽくない」ということは誤っている fact7: 「この相互チェック機能は嘘っぽいということはないけれど扱き上げる」ということは誤っている fact8: もしも「エポヘでない」物はあれば「その二軒目は失礼致さないしそれは病没するということはない」ということは成り立たない fact9: もしなにがしかの物は全繊同盟だということはないならば「この相互チェック機能は嘘っぽくないし扱き上げない」ということは正しくない fact10: 「もし仮に「車両挙動でない」ものはあれば「この相互チェック機能は全繊同盟でないけど輸出競争力だ」ということは間違っている」ということは本当である fact11: 何らかのものは全繊同盟でない
fact11 & fact9 -> hypothesis;
fact11 & fact9 -> hypothesis;
この相互チェック機能は嘘っぽくないし扱き上げない
fact12 -> int1: 仮にこの相互チェック機能が全繊同盟でないとすると嘘っぽくないしまた扱き上げない;
$facts$ = fact1: 何らかのものは全繊同盟でないとすれば「嘘っぽくなくてしかも扱き上げない」ということは確かである fact2: 「全繊同盟である」物はある fact3: もし「全繊同盟だということはない」ものはあるとすると「この相互チェック機能は嘘っぽくないが扱き上げる」ということは成り立たない fact4: 「「全繊同盟でない」物はあるとしたら「この相互チェック機能は嘘っぽいけれど扱き上げない」ということは誤りである」ということは真実である fact5: 「この相互チェック機能は嘘っぽい一方で扱き上げない」ということは成り立たない fact6: 「この相互チェック機能は信心深くなくてそれに嘘っぽくない」ということは誤っている fact7: 「この相互チェック機能は嘘っぽいということはないけれど扱き上げる」ということは誤っている fact8: もしも「エポヘでない」物はあれば「その二軒目は失礼致さないしそれは病没するということはない」ということは成り立たない fact9: もしなにがしかの物は全繊同盟だということはないならば「この相互チェック機能は嘘っぽくないし扱き上げない」ということは正しくない fact10: 「もし仮に「車両挙動でない」ものはあれば「この相互チェック機能は全繊同盟でないけど輸出競争力だ」ということは間違っている」ということは本当である fact11: 何らかのものは全繊同盟でない ; $hypothesis$ = 「この相互チェック機能は嘘っぽくないしかつ扱き上げるということはない」ということは正しくない ; $proof$ = 
fact11 & fact9 -> hypothesis; __PROVED__
事実1: 何らかのものは全繊同盟でないとすれば「嘘っぽくなくてしかも扱き上げない」ということは確かである
事実2: 「全繊同盟である」物はある
事実3: もし「全繊同盟だということはない」ものはあるとすると「この相互チェック機能は嘘っぽくないが扱き上げる」ということは成り立たない
事実4: 「「全繊同盟でない」物はあるとしたら「この相互チェック機能は嘘っぽいけれど扱き上げない」ということは誤りである」ということは真実である
事実5: 「この相互チェック機能は嘘っぽい一方で扱き上げない」ということは成り立たない
事実6: 「この相互チェック機能は信心深くなくてそれに嘘っぽくない」ということは誤っている
事実7: 「この相互チェック機能は嘘っぽいということはないけれど扱き上げる」ということは誤っている
事実8: もしも「エポヘでない」物はあれば「その二軒目は失礼致さないしそれは病没するということはない」ということは成り立たない
事実9: もしなにがしかの物は全繊同盟だということはないならば「この相互チェック機能は嘘っぽくないし扱き上げない」ということは正しくない
事実10: 「もし仮に「車両挙動でない」ものはあれば「この相互チェック機能は全繊同盟でないけど輸出競争力だ」ということは間違っている」ということは本当である
事実11: 何らかのものは全繊同盟でない

仮説: 「この相互チェック機能は嘘っぽくないしかつ扱き上げるということはない」ということは正しくない
1. 事実11と事実9から、仮説が導かれる

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