あの給湯室は価格決定だ
fact1: 「三アイテムだということはない」物はある fact2: もし仮に「あるものは価格決定でないけれど三アイテムだ」ということは本当でないとすればそれは三アイテムでない fact3: もし仮にこの登記が三アイテムでないならそのハーフサイズＡＢＣ蛋白質は三アイテムでない fact4: もし仮にとある物が圧排するしさらに三アイテムだとしたらこの登記は働き易くない fact5: この登記は圧排する一方で普通するということはない fact6: 間違え易いものが圧排するということはないとすればあのハーフサイズＡＢＣ蛋白質は価格決定でない fact7: 仮に働き易いしさらに間違え易いものがあるとしたらそのハーフサイズＡＢＣ蛋白質は価格決定でない fact8: もしも「何らかのものは重要項目だがしかし承らない」ということは成り立たないとすればそれは間違え易くない fact9: もしなにがしかのものが頼もしいということはないとしたらそれは上り易い一方で病原微生物でない fact10: もし間違え易い物が圧排しないとすればこの登記は働き易くない fact11: そのハーフサイズＡＢＣ蛋白質が働き易くないとすれば価格決定でない fact12: もしも何らかの物が圧排するということはないとすると働き易い一方で三アイテムであるということはない fact13: 「この登記は間違え易くて圧排する」ということは成り立たない fact14: もしも「あの給湯室は三アイテムだしそれに価格決定だ」ということは間違っているとしたらそのハーフサイズＡＢＣ蛋白質は価格決定でない fact15: もし仮に「この登記は間違え易いしかつ圧排する」ということは成り立つということはないとするとそのハーフサイズＡＢＣ蛋白質は圧排するということはない fact16: 「「この登記は働き易くて加えて圧排する」ということは誤りである」ということは事実である fact17: 「その砂岩は受け入れ態勢であるしおまけにそれは三アイテムである」ということは成り立たない fact18: もしも「働き易くてそれに三アイテムでない」物があるとしたらあの給湯室は価格決定でない fact19: あの給湯室は働き易くない fact20: 「この登記は圧排するしそれは働き易い」ということは間違っている fact21: もしそのハーフサイズＡＢＣ蛋白質が働き易くないならばあの登記は働き易くない fact22: 仮になんらかのものが間違え易くないとするとそれは価格決定だししかも圧排する fact23: もしも三アイテムが圧排するとするとそのハーフサイズＡＢＣ蛋白質は間違え易くない
fact12 -> int1: もし仮にそのハーフサイズＡＢＣ蛋白質が圧排しないとするとそれは働き易くてそれは三アイテムだということはない; fact13 & fact15 -> int2: そのハーフサイズＡＢＣ蛋白質は圧排しない; int1 & int2 -> int3: そのハーフサイズＡＢＣ蛋白質は働き易い一方で三アイテムでない; int3 -> int4: なんらかのものは働き易い一方で三アイテムでない; int4 & fact18 -> hypothesis;
あの給湯室は価格決定である
fact24 -> int5: あの給湯室が間違え易くないなら価格決定でおまけに圧排する; fact25 -> int6: 仮に「あの給湯室は重要項目だがしかし承らない」ということは成り立つということはないならば間違え易くない;
$facts$ = fact1: 「三アイテムだということはない」物はある fact2: もし仮に「あるものは価格決定でないけれど三アイテムだ」ということは本当でないとすればそれは三アイテムでない fact3: もし仮にこの登記が三アイテムでないならそのハーフサイズＡＢＣ蛋白質は三アイテムでない fact4: もし仮にとある物が圧排するしさらに三アイテムだとしたらこの登記は働き易くない fact5: この登記は圧排する一方で普通するということはない fact6: 間違え易いものが圧排するということはないとすればあのハーフサイズＡＢＣ蛋白質は価格決定でない fact7: 仮に働き易いしさらに間違え易いものがあるとしたらそのハーフサイズＡＢＣ蛋白質は価格決定でない fact8: もしも「何らかのものは重要項目だがしかし承らない」ということは成り立たないとすればそれは間違え易くない fact9: もしなにがしかのものが頼もしいということはないとしたらそれは上り易い一方で病原微生物でない fact10: もし間違え易い物が圧排しないとすればこの登記は働き易くない fact11: そのハーフサイズＡＢＣ蛋白質が働き易くないとすれば価格決定でない fact12: もしも何らかの物が圧排するということはないとすると働き易い一方で三アイテムであるということはない fact13: 「この登記は間違え易くて圧排する」ということは成り立たない fact14: もしも「あの給湯室は三アイテムだしそれに価格決定だ」ということは間違っているとしたらそのハーフサイズＡＢＣ蛋白質は価格決定でない fact15: もし仮に「この登記は間違え易いしかつ圧排する」ということは成り立つということはないとするとそのハーフサイズＡＢＣ蛋白質は圧排するということはない fact16: 「「この登記は働き易くて加えて圧排する」ということは誤りである」ということは事実である fact17: 「その砂岩は受け入れ態勢であるしおまけにそれは三アイテムである」ということは成り立たない fact18: もしも「働き易くてそれに三アイテムでない」物があるとしたらあの給湯室は価格決定でない fact19: あの給湯室は働き易くない fact20: 「この登記は圧排するしそれは働き易い」ということは間違っている fact21: もしそのハーフサイズＡＢＣ蛋白質が働き易くないならばあの登記は働き易くない fact22: 仮になんらかのものが間違え易くないとするとそれは価格決定だししかも圧排する fact23: もしも三アイテムが圧排するとするとそのハーフサイズＡＢＣ蛋白質は間違え易くない ; $hypothesis$ = あの給湯室は価格決定だ ; $proof$ = 
fact12 -> int1: もし仮にそのハーフサイズＡＢＣ蛋白質が圧排しないとするとそれは働き易くてそれは三アイテムだということはない; fact13 & fact15 -> int2: そのハーフサイズＡＢＣ蛋白質は圧排しない; int1 & int2 -> int3: そのハーフサイズＡＢＣ蛋白質は働き易い一方で三アイテムでない; int3 -> int4: なんらかのものは働き易い一方で三アイテムでない; int4 & fact18 -> hypothesis; __DISPROVED__
事実1: 「三アイテムだということはない」物はある
事実2: もし仮に「あるものは価格決定でないけれど三アイテムだ」ということは本当でないとすればそれは三アイテムでない
事実3: もし仮にこの登記が三アイテムでないならそのハーフサイズＡＢＣ蛋白質は三アイテムでない
事実4: もし仮にとある物が圧排するしさらに三アイテムだとしたらこの登記は働き易くない
事実5: この登記は圧排する一方で普通するということはない
事実6: 間違え易いものが圧排するということはないとすればあのハーフサイズＡＢＣ蛋白質は価格決定でない
事実7: 仮に働き易いしさらに間違え易いものがあるとしたらそのハーフサイズＡＢＣ蛋白質は価格決定でない
事実8: もしも「何らかのものは重要項目だがしかし承らない」ということは成り立たないとすればそれは間違え易くない
事実9: もしなにがしかのものが頼もしいということはないとしたらそれは上り易い一方で病原微生物でない
事実10: もし間違え易い物が圧排しないとすればこの登記は働き易くない
事実11: そのハーフサイズＡＢＣ蛋白質が働き易くないとすれば価格決定でない
事実12: もしも何らかの物が圧排するということはないとすると働き易い一方で三アイテムであるということはない
事実13: 「この登記は間違え易くて圧排する」ということは成り立たない
事実14: もしも「あの給湯室は三アイテムだしそれに価格決定だ」ということは間違っているとしたらそのハーフサイズＡＢＣ蛋白質は価格決定でない
事実15: もし仮に「この登記は間違え易いしかつ圧排する」ということは成り立つということはないとするとそのハーフサイズＡＢＣ蛋白質は圧排するということはない
事実16: 「「この登記は働き易くて加えて圧排する」ということは誤りである」ということは事実である
事実17: 「その砂岩は受け入れ態勢であるしおまけにそれは三アイテムである」ということは成り立たない
事実18: もしも「働き易くてそれに三アイテムでない」物があるとしたらあの給湯室は価格決定でない
事実19: あの給湯室は働き易くない
事実20: 「この登記は圧排するしそれは働き易い」ということは間違っている
事実21: もしそのハーフサイズＡＢＣ蛋白質が働き易くないならばあの登記は働き易くない
事実22: 仮になんらかのものが間違え易くないとするとそれは価格決定だししかも圧排する
事実23: もしも三アイテムが圧排するとするとそのハーフサイズＡＢＣ蛋白質は間違え易くない

仮説: あの給湯室は価格決定だ
1. 事実12から、推論1: "もし仮にそのハーフサイズＡＢＣ蛋白質が圧排しないとするとそれは働き易くてそれは三アイテムだということはない"が導かれる
2. 事実13と事実15から、推論2: "そのハーフサイズＡＢＣ蛋白質は圧排しない"が導かれる
3. 推論1と推論2から、推論3: "そのハーフサイズＡＢＣ蛋白質は働き易い一方で三アイテムでない"が導かれる
4. 推論3から、推論4: "なんらかのものは働き易い一方で三アイテムでない"が導かれる
5. 推論4と事実18から、仮説が否定される

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