「あの皮弁厚は白いがそれは塗りたくらない」ということは成り立たない
fact1: なにがしかの物は幇助であるとするとそれは誘惑する fact2: なにがしかの物が誘惑すれば白い fact3: もしなんらかの物は誘惑しないとすると「白いししかも塗りたくらない」ということは嘘だ fact4: この振り子は誘惑する fact5: もしもあの皮弁厚が誘惑するとしたら白い fact6: あの皮弁厚は誘惑する fact7: その性差別根絶法は白い fact8: あの皮弁厚は白い fact9: 仮にあの皮弁厚はＶＶＡＷであるとしたら白いが物凄くない fact10: なにがしかの物がまどろっこしいとすると幇助である fact11: このオリーブ色が教育出版であるということはないとしたらそれは就業出来るしまどろっこしい fact12: 仮にあの皮弁厚が誘惑するなら白いがしかし塗りたくらない
fact12 & fact6 -> hypothesis;
「このオリーブ色は白い」ということは真実である
fact15 -> int1: このオリーブ色が誘惑すればそれは白い; fact14 -> int2: このオリーブ色は幇助であるならば誘惑する; fact16 -> int3: もしもこのオリーブ色はまどろっこしいとしたら「幇助だ」ということは成り立つ;
$facts$ = fact1: なにがしかの物は幇助であるとするとそれは誘惑する fact2: なにがしかの物が誘惑すれば白い fact3: もしなんらかの物は誘惑しないとすると「白いししかも塗りたくらない」ということは嘘だ fact4: この振り子は誘惑する fact5: もしもあの皮弁厚が誘惑するとしたら白い fact6: あの皮弁厚は誘惑する fact7: その性差別根絶法は白い fact8: あの皮弁厚は白い fact9: 仮にあの皮弁厚はＶＶＡＷであるとしたら白いが物凄くない fact10: なにがしかの物がまどろっこしいとすると幇助である fact11: このオリーブ色が教育出版であるということはないとしたらそれは就業出来るしまどろっこしい fact12: 仮にあの皮弁厚が誘惑するなら白いがしかし塗りたくらない ; $hypothesis$ = 「あの皮弁厚は白いがそれは塗りたくらない」ということは成り立たない ; $proof$ = 
fact12 & fact6 -> hypothesis; __DISPROVED__
事実1: なにがしかの物は幇助であるとするとそれは誘惑する
事実2: なにがしかの物が誘惑すれば白い
事実3: もしなんらかの物は誘惑しないとすると「白いししかも塗りたくらない」ということは嘘だ
事実4: この振り子は誘惑する
事実5: もしもあの皮弁厚が誘惑するとしたら白い
事実6: あの皮弁厚は誘惑する
事実7: その性差別根絶法は白い
事実8: あの皮弁厚は白い
事実9: 仮にあの皮弁厚はＶＶＡＷであるとしたら白いが物凄くない
事実10: なにがしかの物がまどろっこしいとすると幇助である
事実11: このオリーブ色が教育出版であるということはないとしたらそれは就業出来るしまどろっこしい
事実12: 仮にあの皮弁厚が誘惑するなら白いがしかし塗りたくらない

仮説: 「あの皮弁厚は白いがそれは塗りたくらない」ということは成り立たない
1. 事実12と事実6から、仮説が否定される

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