「あの指示通りは取り組み易くないしそれは社会主義者達でない」ということは本当だ
fact1: もしもあの指示通りが判別し易くないとするとあの野球帽はややこしいしおまけに隠せる fact2: 「あの野球帽は塗り重ねないけれど掘り下げる」ということは誤りである fact3: もしも「あの野球帽は塗り重ねるということはないがしかし掘り下げる」ということは成り立つということはないならそれは取り組み易くない fact4: なにかはややこしいならば「囲まないしそれにエッチ出来る」ということは誤りだ fact5: あの野球帽は取り組み易くないとすれば「あの指示通りは取り組み易くなくて更に社会主義者達であるということはない」ということは成り立たない fact6: もし仮に取り組み易いものが味わい深いということはないならそれは社会主義者達でない fact7: もしも「とある物は囲まないがしかしエッチ出来る」ということは偽であるとしたらエッチ出来ない fact8: 仮に「あの野球帽は味わい深くない」ということは成り立つとしたらあの指示通りは取り組み易くないし更に社会主義者達でない fact9: もしもとあるものがエッチ出来ないなら取り組み易いがしかし味わい深いということはない
fact3 & fact2 -> int1: あの野球帽は取り組み易くない; int1 & fact5 -> hypothesis;
fact3 & fact2 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
あの指示通りは取り組み易いということはないし社会主義者達でない
$facts$ = fact1: もしもあの指示通りが判別し易くないとするとあの野球帽はややこしいしおまけに隠せる fact2: 「あの野球帽は塗り重ねないけれど掘り下げる」ということは誤りである fact3: もしも「あの野球帽は塗り重ねるということはないがしかし掘り下げる」ということは成り立つということはないならそれは取り組み易くない fact4: なにかはややこしいならば「囲まないしそれにエッチ出来る」ということは誤りだ fact5: あの野球帽は取り組み易くないとすれば「あの指示通りは取り組み易くなくて更に社会主義者達であるということはない」ということは成り立たない fact6: もし仮に取り組み易いものが味わい深いということはないならそれは社会主義者達でない fact7: もしも「とある物は囲まないがしかしエッチ出来る」ということは偽であるとしたらエッチ出来ない fact8: 仮に「あの野球帽は味わい深くない」ということは成り立つとしたらあの指示通りは取り組み易くないし更に社会主義者達でない fact9: もしもとあるものがエッチ出来ないなら取り組み易いがしかし味わい深いということはない ; $hypothesis$ = 「あの指示通りは取り組み易くないしそれは社会主義者達でない」ということは本当だ ; $proof$ = 
fact3 & fact2 -> int1: あの野球帽は取り組み易くない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの指示通りが判別し易くないとするとあの野球帽はややこしいしおまけに隠せる
事実2: 「あの野球帽は塗り重ねないけれど掘り下げる」ということは誤りである
事実3: もしも「あの野球帽は塗り重ねるということはないがしかし掘り下げる」ということは成り立つということはないならそれは取り組み易くない
事実4: なにかはややこしいならば「囲まないしそれにエッチ出来る」ということは誤りだ
事実5: あの野球帽は取り組み易くないとすれば「あの指示通りは取り組み易くなくて更に社会主義者達であるということはない」ということは成り立たない
事実6: もし仮に取り組み易いものが味わい深いということはないならそれは社会主義者達でない
事実7: もしも「とある物は囲まないがしかしエッチ出来る」ということは偽であるとしたらエッチ出来ない
事実8: 仮に「あの野球帽は味わい深くない」ということは成り立つとしたらあの指示通りは取り組み易くないし更に社会主義者達でない
事実9: もしもとあるものがエッチ出来ないなら取り組み易いがしかし味わい深いということはない

仮説: 「あの指示通りは取り組み易くないしそれは社会主義者達でない」ということは本当だ
1. 事実3と事実2から、推論1: "あの野球帽は取り組み易くない"が導かれる
2. 推論1と事実5から、仮説が否定される

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