その家屋敷は軽い
fact1: その家屋敷が方略ならば軽いということはない fact2: その家屋敷は方略である
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: その家屋敷が方略ならば軽いということはない fact2: その家屋敷は方略である ; $hypothesis$ = その家屋敷は軽い ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: その家屋敷が方略ならば軽いということはない
事実2: その家屋敷は方略である

仮説: その家屋敷は軽い
1. 事実1と事実2から、仮説が否定される

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