以下のように仮定する。「そのぴちゃぴねLv.32は流され易い」ということは事実である
fact1: そのまやまちょLv.81は感じしない fact2: もし仮にそのみえみなLv.76が感じしないとしたらそのまやまちょLv.81は物憂いかあるいはそれは流され易いかあるいはどちらもである fact3: そのぴちゃぴねLv.32は感じする fact4: そのぽにゃぽいLv.92は流され易い fact5: 仮にそのまやまちょLv.81が物憂いとしたらそれは感じする fact6: そのぴちゃぴねLv.32は物憂くない fact7: そのぴちゃぴねLv.32が流され易いとすればそのまやまちょLv.81は物憂い fact8: 仮にそのぴちゃぴねLv.32は物憂いとすると「そのまやまちょLv.81は流され易い」ということは正しい
void -> assump1: 以下のように仮定する。「そのぴちゃぴねLv.32は流され易い」ということは事実である; fact7 & assump1 -> int1: そのまやまちょLv.81は物憂い; int1 & fact5 -> int2: そのまやまちょLv.81は感じする; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのぴちゃぴねLv.32は流され易い」ということは事実である
$facts$ = fact1: そのまやまちょLv.81は感じしない fact2: もし仮にそのみえみなLv.76が感じしないとしたらそのまやまちょLv.81は物憂いかあるいはそれは流され易いかあるいはどちらもである fact3: そのぴちゃぴねLv.32は感じする fact4: そのぽにゃぽいLv.92は流され易い fact5: 仮にそのまやまちょLv.81が物憂いとしたらそれは感じする fact6: そのぴちゃぴねLv.32は物憂くない fact7: そのぴちゃぴねLv.32が流され易いとすればそのまやまちょLv.81は物憂い fact8: 仮にそのぴちゃぴねLv.32は物憂いとすると「そのまやまちょLv.81は流され易い」ということは正しい ; $hypothesis$ = 以下のように仮定する。「そのぴちゃぴねLv.32は流され易い」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぴちゃぴねLv.32は流され易い」ということは事実である; fact7 & assump1 -> int1: そのまやまちょLv.81は物憂い; int1 & fact5 -> int2: そのまやまちょLv.81は感じする; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__