「「このロブスターはライトケースでないけれどしつこい」ということは真実でない」ということは偽でない
fact1: このロブスターは気忙しいとすれば「それはしつこい」ということは成り立つ fact2: もしこのロブスターが掴み難いとしたらそれはライトケースでない fact3: もしもこの住宅候補地調書はライトケースでないとしたら「このロブスターは掴み難いということはないけれどそれは気忙しい」ということは嘘だ fact4: もし仮に「このロブスターはフォルダ追加だ」ということは事実だとしたらカレンダーコントロールでない fact5: そのティーがブルボン王朝でなくて海国兵談であるということはないならばそのウンマは注射薬でない fact6: そのティーはブルボン王朝であるということはないしおまけに製図でない fact7: もし仮に何らかのものは注射薬であるならばそれは悪戯っぽい fact8: そのティーがブルボン王朝でなくておまけにそれが製図でないとするとそのウンマは注射薬だ fact9: なにがしかのものは意識化出来ないならば「その文学史上はパールスクリプトであるということはないしその上ライトケースだということはない」ということは誤りだ fact10: 「このロブスターは気忙しい」ということは本当である fact11: もし仮に「「掴み難くないしかつ気忙しい」ということは間違いな」物があるとするとあの三家は気忙しくない fact12: このロブスターは掴み難い fact13: もしそのウンマは注射薬でないならば「御容赦下さらないし更に悪戯っぽくない」ということは間違っている fact14: そのウンマが悪戯っぽい一方で御容赦下さらないならばこの任意監査人は御容赦下さらない fact15: もしなんらかのものが御容赦下さらないとすればそれは欲するということはなくて加えてそれは意識化出来る fact16: この搭乗は海国兵談であるか御容赦下さらないか両方である fact17: その意識障害はしつこい fact18: もし仮に「海国兵談であるかまたは御容赦下さらないかあるいはどちらもである」物があればそのウンマは御容赦下さらない fact19: 仮にその文学史上がパールスクリプトであるならばこの住宅候補地調書は掴み難いけれど気忙しくない fact20: あの再確認は浸透しないがしかし易しい fact21: そのティーは製図であるとしたらそれはブルボン王朝でなくて加えて海国兵談でない fact22: もしこの任意監査人が欲しないけれど意識化出来るとするとその文学史上はパールスクリプトだ
fact1 & fact10 -> int1: このロブスターはしつこい; fact12 & fact2 -> int2: このロブスターはライトケースでない; int1 & int2 -> hypothesis;
fact1 & fact10 -> int1: {B}{a}; fact12 & fact2 -> int2: ¬{C}{a}; int1 & int2 -> hypothesis;
あの三家は欲しないがしつこい
$facts$ = fact1: このロブスターは気忙しいとすれば「それはしつこい」ということは成り立つ fact2: もしこのロブスターが掴み難いとしたらそれはライトケースでない fact3: もしもこの住宅候補地調書はライトケースでないとしたら「このロブスターは掴み難いということはないけれどそれは気忙しい」ということは嘘だ fact4: もし仮に「このロブスターはフォルダ追加だ」ということは事実だとしたらカレンダーコントロールでない fact5: そのティーがブルボン王朝でなくて海国兵談であるということはないならばそのウンマは注射薬でない fact6: そのティーはブルボン王朝であるということはないしおまけに製図でない fact7: もし仮に何らかのものは注射薬であるならばそれは悪戯っぽい fact8: そのティーがブルボン王朝でなくておまけにそれが製図でないとするとそのウンマは注射薬だ fact9: なにがしかのものは意識化出来ないならば「その文学史上はパールスクリプトであるということはないしその上ライトケースだということはない」ということは誤りだ fact10: 「このロブスターは気忙しい」ということは本当である fact11: もし仮に「「掴み難くないしかつ気忙しい」ということは間違いな」物があるとするとあの三家は気忙しくない fact12: このロブスターは掴み難い fact13: もしそのウンマは注射薬でないならば「御容赦下さらないし更に悪戯っぽくない」ということは間違っている fact14: そのウンマが悪戯っぽい一方で御容赦下さらないならばこの任意監査人は御容赦下さらない fact15: もしなんらかのものが御容赦下さらないとすればそれは欲するということはなくて加えてそれは意識化出来る fact16: この搭乗は海国兵談であるか御容赦下さらないか両方である fact17: その意識障害はしつこい fact18: もし仮に「海国兵談であるかまたは御容赦下さらないかあるいはどちらもである」物があればそのウンマは御容赦下さらない fact19: 仮にその文学史上がパールスクリプトであるならばこの住宅候補地調書は掴み難いけれど気忙しくない fact20: あの再確認は浸透しないがしかし易しい fact21: そのティーは製図であるとしたらそれはブルボン王朝でなくて加えて海国兵談でない fact22: もしこの任意監査人が欲しないけれど意識化出来るとするとその文学史上はパールスクリプトだ ; $hypothesis$ = 「「このロブスターはライトケースでないけれどしつこい」ということは真実でない」ということは偽でない ; $proof$ = 
fact1 & fact10 -> int1: このロブスターはしつこい; fact12 & fact2 -> int2: このロブスターはライトケースでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このロブスターは気忙しいとすれば「それはしつこい」ということは成り立つ
事実2: もしこのロブスターが掴み難いとしたらそれはライトケースでない
事実3: もしもこの住宅候補地調書はライトケースでないとしたら「このロブスターは掴み難いということはないけれどそれは気忙しい」ということは嘘だ
事実4: もし仮に「このロブスターはフォルダ追加だ」ということは事実だとしたらカレンダーコントロールでない
事実5: そのティーがブルボン王朝でなくて海国兵談であるということはないならばそのウンマは注射薬でない
事実6: そのティーはブルボン王朝であるということはないしおまけに製図でない
事実7: もし仮に何らかのものは注射薬であるならばそれは悪戯っぽい
事実8: そのティーがブルボン王朝でなくておまけにそれが製図でないとするとそのウンマは注射薬だ
事実9: なにがしかのものは意識化出来ないならば「その文学史上はパールスクリプトであるということはないしその上ライトケースだということはない」ということは誤りだ
事実10: 「このロブスターは気忙しい」ということは本当である
事実11: もし仮に「「掴み難くないしかつ気忙しい」ということは間違いな」物があるとするとあの三家は気忙しくない
事実12: このロブスターは掴み難い
事実13: もしそのウンマは注射薬でないならば「御容赦下さらないし更に悪戯っぽくない」ということは間違っている
事実14: そのウンマが悪戯っぽい一方で御容赦下さらないならばこの任意監査人は御容赦下さらない
事実15: もしなんらかのものが御容赦下さらないとすればそれは欲するということはなくて加えてそれは意識化出来る
事実16: この搭乗は海国兵談であるか御容赦下さらないか両方である
事実17: その意識障害はしつこい
事実18: もし仮に「海国兵談であるかまたは御容赦下さらないかあるいはどちらもである」物があればそのウンマは御容赦下さらない
事実19: 仮にその文学史上がパールスクリプトであるならばこの住宅候補地調書は掴み難いけれど気忙しくない
事実20: あの再確認は浸透しないがしかし易しい
事実21: そのティーは製図であるとしたらそれはブルボン王朝でなくて加えて海国兵談でない
事実22: もしこの任意監査人が欲しないけれど意識化出来るとするとその文学史上はパールスクリプトだ

仮説: 「「このロブスターはライトケースでないけれどしつこい」ということは真実でない」ということは偽でない
1. 事実1と事実10から、推論1: "このロブスターはしつこい"が導かれる
2. 事実12と事実2から、推論2: "このロブスターはライトケースでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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