「このローマ世界はぎごちないがしかし小型化しない」ということは本当でない
fact1: もしも「そのお釈迦様は南山でない」ということは真実だとすればこのローマ世界はぎごちない一方でそれは小型化するということはない fact2: 「そのお釈迦様は南山でない」ということは本当である
$facts$ = fact1: もしも「そのお釈迦様は南山でない」ということは真実だとすればこのローマ世界はぎごちない一方でそれは小型化するということはない fact2: 「そのお釈迦様は南山でない」ということは本当である ; $hypothesis$ = 「このローマ世界はぎごちないがしかし小型化しない」ということは本当でない ; $proof$ = 
事実1: もしも「そのお釈迦様は南山でない」ということは真実だとすればこのローマ世界はぎごちない一方でそれは小型化するということはない
事実2: 「そのお釈迦様は南山でない」ということは本当である

仮説: 「このローマ世界はぎごちないがしかし小型化しない」ということは本当でない