以下のように仮定する。「気高いということが起きる」ということは嘘だということはない
fact1: 仮に易しいということが起こるかまたは気高いということが起きるかどちらもであるならしょぼいということは起きない fact2: 気高いということは起こらないということは易しいということが起こるということに阻止される
void -> assump1: 以下のように仮定する。「気高いということが起きる」ということは嘘だということはない; assump1 -> int1: 「易しいということかまたは気高いということが発生する」ということは成り立つ; int1 & fact1 -> int2: しょぼいということは生じない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C};
以下のように仮定する。「気高いということが起きる」ということは嘘だということはない
$facts$ = fact1: 仮に易しいということが起こるかまたは気高いということが起きるかどちらもであるならしょぼいということは起きない fact2: 気高いということは起こらないということは易しいということが起こるということに阻止される ; $hypothesis$ = 以下のように仮定する。「気高いということが起きる」ということは嘘だということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__