その生真面目は芙蓉グループであるということはない
fact1: もしも正しないものが気付き難いならば芙蓉グループだ fact2: あの子牛は気付き難い fact3: 割れ易くない物は正しないけれど気付き難い fact4: もしも「あの子牛は立地しないしその上移転義務でない」ということは嘘であるとするとその生真面目は芙蓉グループでない fact5: もし仮にあの子牛は気付き難いとしたら「立地するということはないし移転義務でない」ということは成り立たない
fact5 & fact2 -> int1: 「あの子牛は立地しなくて移転義務であるということはない」ということは間違いだ; int1 & fact4 -> hypothesis;
その生真面目は芙蓉グループだ
fact6 -> int2: もしその生真面目は正しないが気付き難いとしたら芙蓉グループである; fact7 -> int3: もしもその生真面目が割れ易くないならばそれは正しないし気付き難い;
$facts$ = fact1: もしも正しないものが気付き難いならば芙蓉グループだ fact2: あの子牛は気付き難い fact3: 割れ易くない物は正しないけれど気付き難い fact4: もしも「あの子牛は立地しないしその上移転義務でない」ということは嘘であるとするとその生真面目は芙蓉グループでない fact5: もし仮にあの子牛は気付き難いとしたら「立地するということはないし移転義務でない」ということは成り立たない ; $hypothesis$ = その生真面目は芙蓉グループであるということはない ; $proof$ = 
fact5 & fact2 -> int1: 「あの子牛は立地しなくて移転義務であるということはない」ということは間違いだ; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしも正しないものが気付き難いならば芙蓉グループだ
事実2: あの子牛は気付き難い
事実3: 割れ易くない物は正しないけれど気付き難い
事実4: もしも「あの子牛は立地しないしその上移転義務でない」ということは嘘であるとするとその生真面目は芙蓉グループでない
事実5: もし仮にあの子牛は気付き難いとしたら「立地するということはないし移転義務でない」ということは成り立たない

仮説: その生真面目は芙蓉グループであるということはない
1. 事実5と事実2から、推論1: "「あの子牛は立地しなくて移転義務であるということはない」ということは間違いだ"が導かれる
2. 推論1と事実4から、仮説が導かれる

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