この定足数は爪皮でない
fact1: もしもこの日曜大工が退部するとすればあの定足数は爪皮でない fact2: 仮にこの日曜大工が動詞幹でないとすればこの定足数は爪皮でない fact3: もしもなんらかのものが日本らしくないならそれは退部するししかも動詞幹だ fact4: この日曜大工は退部するかもしくは動詞幹でないかあるいはどちらもである
fact4 & fact1 & fact2 -> hypothesis;
fact4 & fact1 & fact2 -> hypothesis;
この定足数は爪皮である
fact5 -> int1: もしもこの日曜大工が日本らしくないならば退部するしそれに動詞幹だ;
$facts$ = fact1: もしもこの日曜大工が退部するとすればあの定足数は爪皮でない fact2: 仮にこの日曜大工が動詞幹でないとすればこの定足数は爪皮でない fact3: もしもなんらかのものが日本らしくないならそれは退部するししかも動詞幹だ fact4: この日曜大工は退部するかもしくは動詞幹でないかあるいはどちらもである ; $hypothesis$ = この定足数は爪皮でない ; $proof$ = 
fact4 & fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの日曜大工が退部するとすればあの定足数は爪皮でない
事実2: 仮にこの日曜大工が動詞幹でないとすればこの定足数は爪皮でない
事実3: もしもなんらかのものが日本らしくないならそれは退部するししかも動詞幹だ
事実4: この日曜大工は退部するかもしくは動詞幹でないかあるいはどちらもである

仮説: この定足数は爪皮でない
1. 事実4と事実1と事実2から、仮説が導かれる

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