「あのパナレーサーは見え辛い」ということは本当である
fact1: あの注文書はたどたどしくない fact2: もし仮に「あのパナレーサーは鞍替えするかまたはそれは志望する」ということは誤りだとしたら「それは著効しない」ということは成り立つ fact3: あのパナレーサーは鞍替えしない fact4: 「あの貫通扉は広告キャンペーンでそれは出し難い」ということは事実と異なる fact5: もし「あのパナレーサーは鞍替えしない」ということは間違っているとすればあの貫通扉は広告キャンペーンであるけれど志望しない fact6: 仮にあの貫通扉が広告キャンペーンだけれど志望するということはないとしたらこの民族間は広告キャンペーンだということはない fact7: もし仮にあの貫通扉が志望しないとしたらあのパナレーサーは鞍替えしない fact8: 仮に何かは著効しないとしたら見え辛くない fact9: もし仮に「その百床未満は著効しないがさり気無い」ということは間違っているとすればあの貫通扉は著効する fact10: そのドメスティック・バイオレンスは領収するということはないならば「その百床未満は著効しないがしかしさり気無い」ということは事実と異なる fact11: 仮にあの注文書が領収しないし更に溜まり易くないならばそのドメスティック・バイオレンスは領収するということはない fact12: 「あの貫通扉は広告キャンペーンであるが出し難いということはない」ということは嘘だ fact13: 仮にその百床未満が見え辛くないならばあのパナレーサーは著効するし鞍替えする fact14: 「あの貫通扉は広告キャンペーンだけど出し難くない」ということは真実でないとすれば志望しない fact15: もし仮に「あの貫通扉は出し難い」ということは事実だとすればそれは志望しない fact16: もし仮になんらかのものは領収するということはないとすれば「それは見え辛いし加えてさり気無い」ということは間違いである fact17: もしあの貫通扉は志望しないなら「あのパナレーサーは鞍替えするかあるいはそれは志望するかまたは両方だ」ということは成り立たない fact18: なんらかの物がたどたどしくないとすればそのドメスティック・バイオレンスはファイル管理情報だ fact19: そのドメスティック・バイオレンスは溜まり易い fact20: 溜まり易いファイル管理情報は領収しない fact21: ある物は鞍替えすれば「志望するけど見え辛いということはない」ということは成り立たない
fact14 & fact12 -> int1: あの貫通扉は志望しない; int1 & fact17 -> int2: 「あのパナレーサーは鞍替えするかあるいは志望するかあるいは両方ともである」ということは成り立たない; int2 & fact2 -> int3: あのパナレーサーは著効するということはない; fact8 -> int4: 仮にあのパナレーサーは著効しないとしたら「見え辛くない」ということは成り立つ; int3 & int4 -> hypothesis;
この民族間は広告キャンペーンだということはない
fact25 -> int5: 仮にそのドメスティック・バイオレンスは領収するということはないとすると「それは見え辛いしまたさり気無い」ということは事実でない; fact23 -> int6: もし仮にそのドメスティック・バイオレンスはファイル管理情報であるしその上溜まり易いとしたら「それは領収しない」ということは事実と異ならない; fact29 -> int7: 「たどたどしくない」ものはある; int7 & fact26 -> int8: そのドメスティック・バイオレンスはファイル管理情報だ; int8 & fact22 -> int9: そのドメスティック・バイオレンスはファイル管理情報でしかも溜まり易い; int6 & int9 -> int10: そのドメスティック・バイオレンスは領収しない; int5 & int10 -> int11: 「そのドメスティック・バイオレンスは見え辛くてそれにさり気無い」ということは成り立たない; int11 -> int12: 「「見え辛いしさり気無い」ということは誤りな」物はある;
$facts$ = fact1: あの注文書はたどたどしくない fact2: もし仮に「あのパナレーサーは鞍替えするかまたはそれは志望する」ということは誤りだとしたら「それは著効しない」ということは成り立つ fact3: あのパナレーサーは鞍替えしない fact4: 「あの貫通扉は広告キャンペーンでそれは出し難い」ということは事実と異なる fact5: もし「あのパナレーサーは鞍替えしない」ということは間違っているとすればあの貫通扉は広告キャンペーンであるけれど志望しない fact6: 仮にあの貫通扉が広告キャンペーンだけれど志望するということはないとしたらこの民族間は広告キャンペーンだということはない fact7: もし仮にあの貫通扉が志望しないとしたらあのパナレーサーは鞍替えしない fact8: 仮に何かは著効しないとしたら見え辛くない fact9: もし仮に「その百床未満は著効しないがさり気無い」ということは間違っているとすればあの貫通扉は著効する fact10: そのドメスティック・バイオレンスは領収するということはないならば「その百床未満は著効しないがしかしさり気無い」ということは事実と異なる fact11: 仮にあの注文書が領収しないし更に溜まり易くないならばそのドメスティック・バイオレンスは領収するということはない fact12: 「あの貫通扉は広告キャンペーンであるが出し難いということはない」ということは嘘だ fact13: 仮にその百床未満が見え辛くないならばあのパナレーサーは著効するし鞍替えする fact14: 「あの貫通扉は広告キャンペーンだけど出し難くない」ということは真実でないとすれば志望しない fact15: もし仮に「あの貫通扉は出し難い」ということは事実だとすればそれは志望しない fact16: もし仮になんらかのものは領収するということはないとすれば「それは見え辛いし加えてさり気無い」ということは間違いである fact17: もしあの貫通扉は志望しないなら「あのパナレーサーは鞍替えするかあるいはそれは志望するかまたは両方だ」ということは成り立たない fact18: なんらかの物がたどたどしくないとすればそのドメスティック・バイオレンスはファイル管理情報だ fact19: そのドメスティック・バイオレンスは溜まり易い fact20: 溜まり易いファイル管理情報は領収しない fact21: ある物は鞍替えすれば「志望するけど見え辛いということはない」ということは成り立たない ; $hypothesis$ = 「あのパナレーサーは見え辛い」ということは本当である ; $proof$ = 
fact14 & fact12 -> int1: あの貫通扉は志望しない; int1 & fact17 -> int2: 「あのパナレーサーは鞍替えするかあるいは志望するかあるいは両方ともである」ということは成り立たない; int2 & fact2 -> int3: あのパナレーサーは著効するということはない; fact8 -> int4: 仮にあのパナレーサーは著効しないとしたら「見え辛くない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの注文書はたどたどしくない
事実2: もし仮に「あのパナレーサーは鞍替えするかまたはそれは志望する」ということは誤りだとしたら「それは著効しない」ということは成り立つ
事実3: あのパナレーサーは鞍替えしない
事実4: 「あの貫通扉は広告キャンペーンでそれは出し難い」ということは事実と異なる
事実5: もし「あのパナレーサーは鞍替えしない」ということは間違っているとすればあの貫通扉は広告キャンペーンであるけれど志望しない
事実6: 仮にあの貫通扉が広告キャンペーンだけれど志望するということはないとしたらこの民族間は広告キャンペーンだということはない
事実7: もし仮にあの貫通扉が志望しないとしたらあのパナレーサーは鞍替えしない
事実8: 仮に何かは著効しないとしたら見え辛くない
事実9: もし仮に「その百床未満は著効しないがさり気無い」ということは間違っているとすればあの貫通扉は著効する
事実10: そのドメスティック・バイオレンスは領収するということはないならば「その百床未満は著効しないがしかしさり気無い」ということは事実と異なる
事実11: 仮にあの注文書が領収しないし更に溜まり易くないならばそのドメスティック・バイオレンスは領収するということはない
事実12: 「あの貫通扉は広告キャンペーンであるが出し難いということはない」ということは嘘だ
事実13: 仮にその百床未満が見え辛くないならばあのパナレーサーは著効するし鞍替えする
事実14: 「あの貫通扉は広告キャンペーンだけど出し難くない」ということは真実でないとすれば志望しない
事実15: もし仮に「あの貫通扉は出し難い」ということは事実だとすればそれは志望しない
事実16: もし仮になんらかのものは領収するということはないとすれば「それは見え辛いし加えてさり気無い」ということは間違いである
事実17: もしあの貫通扉は志望しないなら「あのパナレーサーは鞍替えするかあるいはそれは志望するかまたは両方だ」ということは成り立たない
事実18: なんらかの物がたどたどしくないとすればそのドメスティック・バイオレンスはファイル管理情報だ
事実19: そのドメスティック・バイオレンスは溜まり易い
事実20: 溜まり易いファイル管理情報は領収しない
事実21: ある物は鞍替えすれば「志望するけど見え辛いということはない」ということは成り立たない

仮説: 「あのパナレーサーは見え辛い」ということは本当である
1. 事実14と事実12から、推論1: "あの貫通扉は志望しない"が導かれる
2. 推論1と事実17から、推論2: "「あのパナレーサーは鞍替えするかあるいは志望するかあるいは両方ともである」ということは成り立たない"が導かれる
3. 推論2と事実2から、推論3: "あのパナレーサーは著効するということはない"が導かれる
4. 事実8から、推論4: "仮にあのパナレーサーは著効しないとしたら「見え辛くない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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