この自己評価表は亡くならない
fact1: 仮になんらかのものが全国展開すれば返りらしくない一方でスラブ厚だ fact2: あの工業所有権制度が全国展開するし参籠すれば実利重視だ fact3: そのポリオは論述する fact4: もし仮にこの文章全体はあいなめでないとすると「あの工業所有権制度は実利重視でないけどそれは層状である」ということは成り立たない fact5: もし仮に「返りらしい」ものはあるとしたら「あの工業所有権制度は全国展開しない」ということは真実だ fact6: もし仮に「そのポリオは参籠する」ということは真実だとするとこの自己評価表は全国展開する fact7: もしも何かはスラブ厚であるとしたら論述する fact8: もし仮にそのポリオが論述すればそれはスラブ厚である fact9: もし「とあるものは全国展開しないけど参籠する」ということは正しいならば実利重視である fact10: スラブ厚は返りらしい fact11: もし仮に「あの工業所有権制度は実利重視だということはないけれどそれは層状だ」ということは間違いだとしたらそのポリオは実利重視でない fact12: あの工業所有権制度は全国展開するということはない fact13: 仮になにがしかの物が実利重視であるということはないけど亡くなるとすればそれは参籠する fact14: もしもある物が全国展開するし参籠するとしたらそれは実利重視である fact15: あの祝賀会は論述する fact16: あの工業所有権制度が実利重視であるとしたらこの自己評価表は亡くなる fact17: 「返りらしい」物があるとすればあの工業所有権制度は全国展開しないけどそれは参籠する fact18: この文章全体はあいなめでない
fact8 & fact3 -> int1: そのポリオはスラブ厚だ; fact10 -> int2: 仮にそのポリオはスラブ厚であるとすれば返りらしい; int1 & int2 -> int3: そのポリオは返りらしい; int3 -> int4: 「返りらしい」ものはある; int4 & fact17 -> int5: あの工業所有権制度は全国展開しないけれど参籠する; fact9 -> int6: 仮にあの工業所有権制度は全国展開しないけれど参籠するとすれば実利重視だ; int5 & int6 -> int7: あの工業所有権制度は実利重視である; int7 & fact16 -> hypothesis;
この自己評価表は論述する
fact19 -> int8: 仮にこの自己評価表がスラブ厚だとしたら論述する; fact20 -> int9: もし仮に「この自己評価表は全国展開する」ということは嘘でないとしたらそれは返りらしくない一方でスラブ厚だ; fact21 -> int10: そのポリオは実利重視でないが亡くなるなら参籠する; fact22 & fact23 -> int11: 「あの工業所有権制度は実利重視でないけれど層状である」ということは事実でない; fact25 & int11 -> int12: そのポリオは実利重視でない;
$facts$ = fact1: 仮になんらかのものが全国展開すれば返りらしくない一方でスラブ厚だ fact2: あの工業所有権制度が全国展開するし参籠すれば実利重視だ fact3: そのポリオは論述する fact4: もし仮にこの文章全体はあいなめでないとすると「あの工業所有権制度は実利重視でないけどそれは層状である」ということは成り立たない fact5: もし仮に「返りらしい」ものはあるとしたら「あの工業所有権制度は全国展開しない」ということは真実だ fact6: もし仮に「そのポリオは参籠する」ということは真実だとするとこの自己評価表は全国展開する fact7: もしも何かはスラブ厚であるとしたら論述する fact8: もし仮にそのポリオが論述すればそれはスラブ厚である fact9: もし「とあるものは全国展開しないけど参籠する」ということは正しいならば実利重視である fact10: スラブ厚は返りらしい fact11: もし仮に「あの工業所有権制度は実利重視だということはないけれどそれは層状だ」ということは間違いだとしたらそのポリオは実利重視でない fact12: あの工業所有権制度は全国展開するということはない fact13: 仮になにがしかの物が実利重視であるということはないけど亡くなるとすればそれは参籠する fact14: もしもある物が全国展開するし参籠するとしたらそれは実利重視である fact15: あの祝賀会は論述する fact16: あの工業所有権制度が実利重視であるとしたらこの自己評価表は亡くなる fact17: 「返りらしい」物があるとすればあの工業所有権制度は全国展開しないけどそれは参籠する fact18: この文章全体はあいなめでない ; $hypothesis$ = この自己評価表は亡くならない ; $proof$ = 
fact8 & fact3 -> int1: そのポリオはスラブ厚だ; fact10 -> int2: 仮にそのポリオはスラブ厚であるとすれば返りらしい; int1 & int2 -> int3: そのポリオは返りらしい; int3 -> int4: 「返りらしい」ものはある; int4 & fact17 -> int5: あの工業所有権制度は全国展開しないけれど参籠する; fact9 -> int6: 仮にあの工業所有権制度は全国展開しないけれど参籠するとすれば実利重視だ; int5 & int6 -> int7: あの工業所有権制度は実利重視である; int7 & fact16 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものが全国展開すれば返りらしくない一方でスラブ厚だ
事実2: あの工業所有権制度が全国展開するし参籠すれば実利重視だ
事実3: そのポリオは論述する
事実4: もし仮にこの文章全体はあいなめでないとすると「あの工業所有権制度は実利重視でないけどそれは層状である」ということは成り立たない
事実5: もし仮に「返りらしい」ものはあるとしたら「あの工業所有権制度は全国展開しない」ということは真実だ
事実6: もし仮に「そのポリオは参籠する」ということは真実だとするとこの自己評価表は全国展開する
事実7: もしも何かはスラブ厚であるとしたら論述する
事実8: もし仮にそのポリオが論述すればそれはスラブ厚である
事実9: もし「とあるものは全国展開しないけど参籠する」ということは正しいならば実利重視である
事実10: スラブ厚は返りらしい
事実11: もし仮に「あの工業所有権制度は実利重視だということはないけれどそれは層状だ」ということは間違いだとしたらそのポリオは実利重視でない
事実12: あの工業所有権制度は全国展開するということはない
事実13: 仮になにがしかの物が実利重視であるということはないけど亡くなるとすればそれは参籠する
事実14: もしもある物が全国展開するし参籠するとしたらそれは実利重視である
事実15: あの祝賀会は論述する
事実16: あの工業所有権制度が実利重視であるとしたらこの自己評価表は亡くなる
事実17: 「返りらしい」物があるとすればあの工業所有権制度は全国展開しないけどそれは参籠する
事実18: この文章全体はあいなめでない

仮説: この自己評価表は亡くならない
1. 事実8と事実3から、推論1: "そのポリオはスラブ厚だ"が導かれる
2. 事実10から、推論2: "仮にそのポリオはスラブ厚であるとすれば返りらしい"が導かれる
3. 推論1と推論2から、推論3: "そのポリオは返りらしい"が導かれる
4. 推論3から、推論4: "「返りらしい」ものはある"が導かれる
5. 推論4と事実17から、推論5: "あの工業所有権制度は全国展開しないけれど参籠する"が導かれる
6. 事実9から、推論6: "仮にあの工業所有権制度は全国展開しないけれど参籠するとすれば実利重視だ"が導かれる
7. 推論5と推論6から、推論7: "あの工業所有権制度は実利重視である"が導かれる
8. 推論7と事実16から、仮説が否定される

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