その兼愛は重いということはないがしかし望ましい
fact1: 「その兼愛は重くないけど望ましい」ということは成り立たない
$facts$ = fact1: 「その兼愛は重くないけど望ましい」ということは成り立たない ; $hypothesis$ = その兼愛は重いということはないがしかし望ましい ; $proof$ = 
事実1: 「その兼愛は重くないけど望ましい」ということは成り立たない

仮説: その兼愛は重いということはないがしかし望ましい