あの近代フランス政治史は資料等でない
fact1: もし仮にその救済手段が相談すとするとあの近代フランス政治史は資料等である fact2: その救済手段は強弓である fact3: もしもなにがしかの物が資料等でなくてかつそれが相談すらないとすれば強弓である fact4: もしもその救済手段は強弓であるならば相談す fact5: あの近代フランス政治史は自己責任である fact6: もしその救済手段が心優しいならそれは自己責任であるしまたそれは貸し為さらない fact7: あの近代フランス政治史は強弓である
fact4 & fact2 -> int1: その救済手段は相談す; int1 & fact1 -> hypothesis;
あの近代フランス政治史は資料等でない
$facts$ = fact1: もし仮にその救済手段が相談すとするとあの近代フランス政治史は資料等である fact2: その救済手段は強弓である fact3: もしもなにがしかの物が資料等でなくてかつそれが相談すらないとすれば強弓である fact4: もしもその救済手段は強弓であるならば相談す fact5: あの近代フランス政治史は自己責任である fact6: もしその救済手段が心優しいならそれは自己責任であるしまたそれは貸し為さらない fact7: あの近代フランス政治史は強弓である ; $hypothesis$ = あの近代フランス政治史は資料等でない ; $proof$ = 
fact4 & fact2 -> int1: その救済手段は相談す; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にその救済手段が相談すとするとあの近代フランス政治史は資料等である
事実2: その救済手段は強弓である
事実3: もしもなにがしかの物が資料等でなくてかつそれが相談すらないとすれば強弓である
事実4: もしもその救済手段は強弓であるならば相談す
事実5: あの近代フランス政治史は自己責任である
事実6: もしその救済手段が心優しいならそれは自己責任であるしまたそれは貸し為さらない
事実7: あの近代フランス政治史は強弓である

仮説: あの近代フランス政治史は資料等でない
1. 事実4と事実2から、推論1: "その救済手段は相談す"が導かれる
2. 推論1と事実1から、仮説が否定される

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