その行は青臭い
fact1: 幹部社員は遠望でないかまたは反映され易くないかもしくは両方ともだ fact2: その下請けは連係するし更に幹部社員である fact3: もし仮にその下請けが遠望でないか反映され易いということはないかもしくは両方であるとするとその行は反映され易い fact4: その下請けは陳列棚でない fact5: 反映され易い物は歌い踊らない fact6: この民芸調は青臭い fact7: もしもその行が青臭くないとすればその下請けは陳列棚だ fact8: なにがしかのものが歌い踊らないし加えて陳列棚でないならばそれは青臭くない
void -> assump1: 以下のように仮定する。その行は青臭くない; fact7 & assump1 -> int1: その下請けは陳列棚である; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
その行は青臭くない
fact10 -> int3: その行が歌い踊らないしさらにそれは陳列棚でないとしたら青臭くない; fact11 -> int4: もしも「その行は反映され易い」ということは正しいとするとそれは歌い踊らない; fact13 -> int5: もしもその下請けが幹部社員ならそれは遠望でないかそれは反映され易いということはないかあるいは両方だ; fact12 -> int6: その下請けは幹部社員である; int5 & int6 -> int7: 「その下請けは遠望でないかもしくは反映され易くないかまたはどちらもである」ということは真実である; fact9 & int7 -> int8: 「その行は反映され易い」ということは成り立つ; int4 & int8 -> int9: その行は歌い踊らない;
$facts$ = fact1: 幹部社員は遠望でないかまたは反映され易くないかもしくは両方ともだ fact2: その下請けは連係するし更に幹部社員である fact3: もし仮にその下請けが遠望でないか反映され易いということはないかもしくは両方であるとするとその行は反映され易い fact4: その下請けは陳列棚でない fact5: 反映され易い物は歌い踊らない fact6: この民芸調は青臭い fact7: もしもその行が青臭くないとすればその下請けは陳列棚だ fact8: なにがしかのものが歌い踊らないし加えて陳列棚でないならばそれは青臭くない ; $hypothesis$ = その行は青臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。その行は青臭くない; fact7 & assump1 -> int1: その下請けは陳列棚である; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 幹部社員は遠望でないかまたは反映され易くないかもしくは両方ともだ
事実2: その下請けは連係するし更に幹部社員である
事実3: もし仮にその下請けが遠望でないか反映され易いということはないかもしくは両方であるとするとその行は反映され易い
事実4: その下請けは陳列棚でない
事実5: 反映され易い物は歌い踊らない
事実6: この民芸調は青臭い
事実7: もしもその行が青臭くないとすればその下請けは陳列棚だ
事実8: なにがしかのものが歌い踊らないし加えて陳列棚でないならばそれは青臭くない

仮説: その行は青臭い
1. 仮定1: 以下のように仮定する。その行は青臭くない
2. 事実7と仮定1から、推論1: "その下請けは陳列棚である"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。