「その酒造は下降するということはないけれど挙式する」ということは間違いである
fact1: もしもその水蜜桃はしおらしいとしたら「それは当事者間である」ということは正しい fact2: もしなにがしかのものが下降するとすればそれはしおらしい fact3: その疾患・異常は小賢しくない fact4: 「その御飯粒は密入国しない」ということは本当であるとしたらこのブラシ状は当該離島でないけどそれはエッチ出来る fact5: 仮になにがしかのものが疑るとするとしおらしい fact6: もし仮に「この民間医療保険は密入国しないし加えて立て難くない」ということは事実と異なるとすればその御飯粒は密入国しない fact7: その水蜜桃はしおらしい fact8: もし仮にその水蜜桃が当事者間でないとすればあの酒造はしおらしい fact9: もし仮に何らかのものは当該離島でないならそれは本疾患でなくて更に遊び捲るということはない fact10: このブラシ状は情動反応であるということはない fact11: もし仮にこのブラシ状が下降するとすればあの酒造は下降しない fact12: あの土地基盤整備は立ち退かさない一方で疑る fact13: もしも何かは下降するとしたら打ち消す fact14: その酒造は下降するということはない fact15: 仮にその疾患・異常は小賢しくないとすると「この民間医療保険は密入国するということはなくて立て難くない」ということは確かでない fact16: もしもこのブラシ状が下降するならその酒造は下降しない一方でそれは挙式する fact17: もしなんらかのものはバックアップ出来るということはないとすれば「打ち消すということはない一方で疑る」ということは成り立たない fact18: もしも何らかの物は疑れば「打ち消す」ということは事実である fact19: 「その酒造は疑る」ということは真実である fact20: もしもなんらかの物は当事者間であるならそれは疑る fact21: もしその水蜜桃は打ち消すとすれば「このブラシ状は下降する」ということは真実だ fact22: その酒造は下降しないけれどしおらしい
fact1 & fact7 -> int1: その水蜜桃は当事者間である; fact20 -> int2: もしその水蜜桃が当事者間だとすると疑る; int1 & int2 -> int3: その水蜜桃は疑る; fact18 -> int4: 仮にその水蜜桃が疑るとしたらそれは打ち消す; int3 & int4 -> int5: その水蜜桃は打ち消す; int5 & fact21 -> int6: このブラシ状は下降する; int6 & fact16 -> hypothesis;
「その酒造は下降しないけれど挙式する」ということは偽である
fact25 -> int7: もし仮にその水蜜桃はバックアップ出来ないならば「それは打ち消さないけど疑る」ということは間違いだ; fact26 -> int8: もしこのブラシ状は当該離島でないなら本疾患でなくて遊び捲らない; fact27 & fact23 -> int9: 「この民間医療保険は密入国しなくておまけに立て難くない」ということは誤っている; fact29 & int9 -> int10: その御飯粒は密入国するということはない; fact28 & int10 -> int11: このブラシ状は当該離島でないけどエッチ出来る; int11 -> int12: このブラシ状は当該離島でない; int8 & int12 -> int13: このブラシ状は本疾患でなくてしかも遊び捲らない; int13 -> int14: なにがしかのものは本疾患でなくておまけに遊び捲らない;
$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 & fact7 -> int1: その水蜜桃は当事者間である; fact20 -> int2: もしその水蜜桃が当事者間だとすると疑る; int1 & int2 -> int3: その水蜜桃は疑る; fact18 -> int4: 仮にその水蜜桃が疑るとしたらそれは打ち消す; int3 & int4 -> int5: その水蜜桃は打ち消す; int5 & fact21 -> int6: このブラシ状は下降する; int6 & fact16 -> 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と事実7から、推論1: "その水蜜桃は当事者間である"が導かれる
2. 事実20から、推論2: "もしその水蜜桃が当事者間だとすると疑る"が導かれる
3. 推論1と推論2から、推論3: "その水蜜桃は疑る"が導かれる
4. 事実18から、推論4: "仮にその水蜜桃が疑るとしたらそれは打ち消す"が導かれる
5. 推論3と推論4から、推論5: "その水蜜桃は打ち消す"が導かれる
6. 推論5と事実21から、推論6: "このブラシ状は下降する"が導かれる
7. 推論6と事実16から、仮説が否定される

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