あのビスフェノールＡは痩せ難くない
fact1: もしもあのビスフェノールＡが痩せ難くないとするとその表面処理法は緊張し切らなくてかつ判別しない fact2: 「「激しくないがしかし教民紡織である」ということは誤りな」ものはある fact3: 仮にその表面処理法が緊張し切らないしさらにそれが判別しないとすればあの収縮早期は真昼でない fact4: もしとある物は横書き表示でないなら「教民紡織でないかもしくは真昼でないかまたは両方だ」ということは成り立つということはない fact5: 「もしも「あの収縮早期は教民紡織でないか真昼でないかあるいは両方である」ということは成り立たないとすると「あの収縮早期は激しくない」ということは正しい」ということは真実である fact6: もし仮に「「激しくない一方で教民紡織である」ということは嘘な」物があるとしたらあの収縮早期は真昼だ fact7: 仮に「その表面処理法は痩せ難くてそれにそれは激しい」ということは偽であるとしたらあのビスフェノールＡは痩せ難くない
void -> assump1: 以下のように仮定する。「あのビスフェノールＡは痩せ難くない」ということは確かだ; fact1 & assump1 -> int1: その表面処理法は緊張し切らないしそれは判別するということはない; int1 & fact3 -> int2: あの収縮早期は真昼でない; fact2 & fact6 -> int3: あの収縮早期は真昼だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あのビスフェノールＡは痩せ難くない
fact10 -> int5: もしもあの収縮早期は横書き表示でないとすると「教民紡織でないか真昼でないか両方ともである」ということは正しくない;
$facts$ = fact1: もしもあのビスフェノールＡが痩せ難くないとするとその表面処理法は緊張し切らなくてかつ判別しない fact2: 「「激しくないがしかし教民紡織である」ということは誤りな」ものはある fact3: 仮にその表面処理法が緊張し切らないしさらにそれが判別しないとすればあの収縮早期は真昼でない fact4: もしとある物は横書き表示でないなら「教民紡織でないかもしくは真昼でないかまたは両方だ」ということは成り立つということはない fact5: 「もしも「あの収縮早期は教民紡織でないか真昼でないかあるいは両方である」ということは成り立たないとすると「あの収縮早期は激しくない」ということは正しい」ということは真実である fact6: もし仮に「「激しくない一方で教民紡織である」ということは嘘な」物があるとしたらあの収縮早期は真昼だ fact7: 仮に「その表面処理法は痩せ難くてそれにそれは激しい」ということは偽であるとしたらあのビスフェノールＡは痩せ難くない ; $hypothesis$ = あのビスフェノールＡは痩せ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのビスフェノールＡは痩せ難くない」ということは確かだ; fact1 & assump1 -> int1: その表面処理法は緊張し切らないしそれは判別するということはない; int1 & fact3 -> int2: あの収縮早期は真昼でない; fact2 & fact6 -> int3: あの収縮早期は真昼だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしもあのビスフェノールＡが痩せ難くないとするとその表面処理法は緊張し切らなくてかつ判別しない
事実2: 「「激しくないがしかし教民紡織である」ということは誤りな」ものはある
事実3: 仮にその表面処理法が緊張し切らないしさらにそれが判別しないとすればあの収縮早期は真昼でない
事実4: もしとある物は横書き表示でないなら「教民紡織でないかもしくは真昼でないかまたは両方だ」ということは成り立つということはない
事実5: 「もしも「あの収縮早期は教民紡織でないか真昼でないかあるいは両方である」ということは成り立たないとすると「あの収縮早期は激しくない」ということは正しい」ということは真実である
事実6: もし仮に「「激しくない一方で教民紡織である」ということは嘘な」物があるとしたらあの収縮早期は真昼だ
事実7: 仮に「その表面処理法は痩せ難くてそれにそれは激しい」ということは偽であるとしたらあのビスフェノールＡは痩せ難くない

仮説: あのビスフェノールＡは痩せ難くない
1. 仮定1: 以下のように仮定する。「あのビスフェノールＡは痩せ難くない」ということは確かだ
2. 事実1と仮定1から、推論1: "その表面処理法は緊張し切らないしそれは判別するということはない"が導かれる
3. 推論1と事実3から、推論2: "あの収縮早期は真昼でない"が導かれる
4. 事実2と事実6から、推論3: "あの収縮早期は真昼だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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