もしその複合過程が荒っぽいとするとその地金は測量しない
fact1: その複合過程は佇む fact2: もしその複合過程が荒っぽくて加えて佇むとすればあの地金は測量するということはない fact3: もしその複合過程が荒っぽくて佇むとするとその地金は測量する fact4: このＲＵは佇む fact5: その地金は測量する fact6: もしその複合過程が測量するとすればその地金は佇まない fact7: もしもその複合過程が荒っぽいならその地金は測量する fact8: このロールオーバーは佇む
void -> assump1: 以下のように仮定する。その複合過程は荒っぽい; assump1 & fact1 -> int1: その複合過程は荒っぽくて佇む; int1 & fact2 -> int2: その地金は測量しない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その複合過程は佇む fact2: もしその複合過程が荒っぽくて加えて佇むとすればあの地金は測量するということはない fact3: もしその複合過程が荒っぽくて佇むとするとその地金は測量する fact4: このＲＵは佇む fact5: その地金は測量する fact6: もしその複合過程が測量するとすればその地金は佇まない fact7: もしもその複合過程が荒っぽいならその地金は測量する fact8: このロールオーバーは佇む ; $hypothesis$ = もしその複合過程が荒っぽいとするとその地金は測量しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その複合過程は荒っぽい; assump1 & fact1 -> int1: その複合過程は荒っぽくて佇む; int1 & fact2 -> int2: その地金は測量しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その複合過程は佇む
事実2: もしその複合過程が荒っぽくて加えて佇むとすればあの地金は測量するということはない
事実3: もしその複合過程が荒っぽくて佇むとするとその地金は測量する
事実4: このＲＵは佇む
事実5: その地金は測量する
事実6: もしその複合過程が測量するとすればその地金は佇まない
事実7: もしもその複合過程が荒っぽいならその地金は測量する
事実8: このロールオーバーは佇む

仮説: もしその複合過程が荒っぽいとするとその地金は測量しない
1. 仮定1: 以下のように仮定する。その複合過程は荒っぽい
2. 仮定1と事実1から、推論1: "その複合過程は荒っぽくて佇む"が導かれる
3. 推論1と事実2から、推論2: "その地金は測量しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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