「もしも採集しないならば「関係深くなくてその上判別し易いない」ということは偽な」物はある
fact1: もしなにがしかのものは採集しないならば「それは関係深くないし判別し易くない」ということは成り立たない
fact1 -> int1: もしもあの栄養指導は採集しないとすると「関係深くないし判別し易くない」ということは成り立たない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしなにがしかのものは採集しないならば「それは関係深くないし判別し易くない」ということは成り立たない ; $hypothesis$ = 「もしも採集しないならば「関係深くなくてその上判別し易いない」ということは偽な」物はある ; $proof$ = 
fact1 -> int1: もしもあの栄養指導は採集しないとすると「関係深くないし判別し易くない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もしなにがしかのものは採集しないならば「それは関係深くないし判別し易くない」ということは成り立たない

仮説: 「もしも採集しないならば「関係深くなくてその上判別し易いない」ということは偽な」物はある
1. 事実1から、推論1: "もしもあの栄養指導は採集しないとすると「関係深くないし判別し易くない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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