優しくないものはある
fact1: なんらかの物が憎々しくないしその上それが責任免除でないならあの敗者復活戦はルーチン化する fact2: そのエンジン自体は憎々しくない fact3: 「この路線価は散らばるし無理無い」ということは事実と異なるとすれば優しくない fact4: とある物は責任免除であるとするとそれは憎々しい fact5: 「この路線価は暗示文でない」ということは事実だ fact6: もし仮になにかは優しくないならばそれは無理無くなくて加えてそれは散らばらない fact7: そのエンジン自体が無理無くないならばこのポリオが憎々しくないしさらに責任免除だということはない fact8: もしこのポリオがルーチン化するとしたらそのエンジン自体は責任免除だ fact9: 仮にこの路線価が憎々しいとすればあのエンジン自体は散らばる fact10: もしこの路線価は散らばらないならば「それは優しくない」ということは本当だ fact11: 「「優しい」ということは確かである」ものはある fact12: このポリオはルーチン化するということはないとすると「「この路線価は散らばるしそれは無理無い」ということは本当だ」ということは偽である
void -> assump1: 以下のように仮定する。このポリオはルーチン化する; fact8 & assump1 -> int1: そのエンジン自体は責任免除だ; fact4 -> int2: そのエンジン自体が責任免除だとすると憎々しい; int1 & int2 -> int3: そのエンジン自体は憎々しい; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: このポリオはルーチン化しない; int5 & fact12 -> int6: 「この路線価は散らばるしそれは無理無い」ということは嘘だ; int6 & fact3 -> int7: この路線価は優しいということはない; int7 -> hypothesis;
あの敗者復活戦はルーチン化する
fact15 -> int8: もしも「そのエンジン自体は優しくない」ということは誤りでないとしたら無理無くないし加えて散らばらない; fact13 -> int9: 「暗示文だということはない」物はある;
$facts$ = fact1: なんらかの物が憎々しくないしその上それが責任免除でないならあの敗者復活戦はルーチン化する fact2: そのエンジン自体は憎々しくない fact3: 「この路線価は散らばるし無理無い」ということは事実と異なるとすれば優しくない fact4: とある物は責任免除であるとするとそれは憎々しい fact5: 「この路線価は暗示文でない」ということは事実だ fact6: もし仮になにかは優しくないならばそれは無理無くなくて加えてそれは散らばらない fact7: そのエンジン自体が無理無くないならばこのポリオが憎々しくないしさらに責任免除だということはない fact8: もしこのポリオがルーチン化するとしたらそのエンジン自体は責任免除だ fact9: 仮にこの路線価が憎々しいとすればあのエンジン自体は散らばる fact10: もしこの路線価は散らばらないならば「それは優しくない」ということは本当だ fact11: 「「優しい」ということは確かである」ものはある fact12: このポリオはルーチン化するということはないとすると「「この路線価は散らばるしそれは無理無い」ということは本当だ」ということは偽である ; $hypothesis$ = 優しくないものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。このポリオはルーチン化する; fact8 & assump1 -> int1: そのエンジン自体は責任免除だ; fact4 -> int2: そのエンジン自体が責任免除だとすると憎々しい; int1 & int2 -> int3: そのエンジン自体は憎々しい; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: このポリオはルーチン化しない; int5 & fact12 -> int6: 「この路線価は散らばるしそれは無理無い」ということは嘘だ; int6 & fact3 -> int7: この路線価は優しいということはない; int7 -> hypothesis; __PROVED__
事実1: なんらかの物が憎々しくないしその上それが責任免除でないならあの敗者復活戦はルーチン化する
事実2: そのエンジン自体は憎々しくない
事実3: 「この路線価は散らばるし無理無い」ということは事実と異なるとすれば優しくない
事実4: とある物は責任免除であるとするとそれは憎々しい
事実5: 「この路線価は暗示文でない」ということは事実だ
事実6: もし仮になにかは優しくないならばそれは無理無くなくて加えてそれは散らばらない
事実7: そのエンジン自体が無理無くないならばこのポリオが憎々しくないしさらに責任免除だということはない
事実8: もしこのポリオがルーチン化するとしたらそのエンジン自体は責任免除だ
事実9: 仮にこの路線価が憎々しいとすればあのエンジン自体は散らばる
事実10: もしこの路線価は散らばらないならば「それは優しくない」ということは本当だ
事実11: 「「優しい」ということは確かである」ものはある
事実12: このポリオはルーチン化するということはないとすると「「この路線価は散らばるしそれは無理無い」ということは本当だ」ということは偽である

仮説: 優しくないものはある
1. 仮定1: 以下のように仮定する。このポリオはルーチン化する
2. 事実8と仮定1から、推論1: "そのエンジン自体は責任免除だ"が導かれる
3. 事実4から、推論2: "そのエンジン自体が責任免除だとすると憎々しい"が導かれる
4. 推論1と推論2から、推論3: "そのエンジン自体は憎々しい"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このポリオはルーチン化しない"が導かれる
7. 推論5と事実12から、推論6: "「この路線価は散らばるしそれは無理無い」ということは嘘だ"が導かれる
8. 推論6と事実3から、推論7: "この路線価は優しいということはない"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。