「この才媛は送金するが吹っ切らない」ということは本当だ
fact1: この才媛は別行動だ fact2: あの白桃書房は別行動である fact3: 「もしあの白桃書房は送金するとしたら「この才媛は吹っ切るがしかし別行動でない」ということは成り立つということはない」ということは確かである fact4: この才媛は程近い fact5: もしも「この才媛は吹っ切る」ということは成り立つとしたら「あの白桃書房は別行動だけれど送金しない」ということは偽だ fact6: もしあの白桃書房は別行動であるなら「この才媛は送金するけれど吹っ切らない」ということは嘘である fact7: もし仮にあの白桃書房は吹っ切るとすると「この才媛は送金するしそれにそれは別行動だ」ということは成り立たない fact8: もしこの才媛は別行動であるとしたら「あの白桃書房が送金するしその上吹っ切る」ということは間違いだ fact9: この才媛は蓄尿である fact10: もし「あの白桃書房は別行動である」ということは事実だとすれば「この才媛は送金するしおまけにそれは吹っ切る」ということは成り立たない fact11: もし仮にこの才媛は吹っ切れば「あの白桃書房は送金するしさらに別行動だ」ということは間違いだ fact12: この地震時出火は送金する
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
$facts$ = fact1: この才媛は別行動だ fact2: あの白桃書房は別行動である fact3: 「もしあの白桃書房は送金するとしたら「この才媛は吹っ切るがしかし別行動でない」ということは成り立つということはない」ということは確かである fact4: この才媛は程近い fact5: もしも「この才媛は吹っ切る」ということは成り立つとしたら「あの白桃書房は別行動だけれど送金しない」ということは偽だ fact6: もしあの白桃書房は別行動であるなら「この才媛は送金するけれど吹っ切らない」ということは嘘である fact7: もし仮にあの白桃書房は吹っ切るとすると「この才媛は送金するしそれにそれは別行動だ」ということは成り立たない fact8: もしこの才媛は別行動であるとしたら「あの白桃書房が送金するしその上吹っ切る」ということは間違いだ fact9: この才媛は蓄尿である fact10: もし「あの白桃書房は別行動である」ということは事実だとすれば「この才媛は送金するしおまけにそれは吹っ切る」ということは成り立たない fact11: もし仮にこの才媛は吹っ切れば「あの白桃書房は送金するしさらに別行動だ」ということは間違いだ fact12: この地震時出火は送金する ; $hypothesis$ = 「この才媛は送金するが吹っ切らない」ということは本当だ ; $proof$ = 
fact6 & fact2 -> hypothesis; __DISPROVED__
事実1: この才媛は別行動だ
事実2: あの白桃書房は別行動である
事実3: 「もしあの白桃書房は送金するとしたら「この才媛は吹っ切るがしかし別行動でない」ということは成り立つということはない」ということは確かである
事実4: この才媛は程近い
事実5: もしも「この才媛は吹っ切る」ということは成り立つとしたら「あの白桃書房は別行動だけれど送金しない」ということは偽だ
事実6: もしあの白桃書房は別行動であるなら「この才媛は送金するけれど吹っ切らない」ということは嘘である
事実7: もし仮にあの白桃書房は吹っ切るとすると「この才媛は送金するしそれにそれは別行動だ」ということは成り立たない
事実8: もしこの才媛は別行動であるとしたら「あの白桃書房が送金するしその上吹っ切る」ということは間違いだ
事実9: この才媛は蓄尿である
事実10: もし「あの白桃書房は別行動である」ということは事実だとすれば「この才媛は送金するしおまけにそれは吹っ切る」ということは成り立たない
事実11: もし仮にこの才媛は吹っ切れば「あの白桃書房は送金するしさらに別行動だ」ということは間違いだ
事実12: この地震時出火は送金する

仮説: 「この才媛は送金するが吹っ切らない」ということは本当だ
1. 事実6と事実2から、仮説が否定される

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