「叱り飛ばすしさらに悪い」物はある
fact1: この分離発注方式は叱り飛ばす fact2: 何らかのものは叱り飛ばす fact3: 「このギャフは悪い」ということは本当である fact4: このギャフは叱り飛ばす fact5: 「分筆登記である」ものはある fact6: 「悪い」物はある
fact4 & fact3 -> int1: このギャフは叱り飛ばすしそれに悪い; int1 -> hypothesis;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
$facts$ = fact1: この分離発注方式は叱り飛ばす fact2: 何らかのものは叱り飛ばす fact3: 「このギャフは悪い」ということは本当である fact4: このギャフは叱り飛ばす fact5: 「分筆登記である」ものはある fact6: 「悪い」物はある ; $hypothesis$ = 「叱り飛ばすしさらに悪い」物はある ; $proof$ = 
fact4 & fact3 -> int1: このギャフは叱り飛ばすしそれに悪い; int1 -> hypothesis; __PROVED__
事実1: この分離発注方式は叱り飛ばす
事実2: 何らかのものは叱り飛ばす
事実3: 「このギャフは悪い」ということは本当である
事実4: このギャフは叱り飛ばす
事実5: 「分筆登記である」ものはある
事実6: 「悪い」物はある

仮説: 「叱り飛ばすしさらに悪い」物はある
1. 事実4と事実3から、推論1: "このギャフは叱り飛ばすしそれに悪い"が導かれる
2. 推論1から、仮説が導かれる

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