このＭＡＣは椎茸栽培でない
fact1: もしも「このＭＡＣは専用ソフトでない」ということは成り立てば椎茸栽培である fact2: このＭＡＣは専用ソフトでない
$facts$ = fact1: もしも「このＭＡＣは専用ソフトでない」ということは成り立てば椎茸栽培である fact2: このＭＡＣは専用ソフトでない ; $hypothesis$ = このＭＡＣは椎茸栽培でない ; $proof$ = 
事実1: もしも「このＭＡＣは専用ソフトでない」ということは成り立てば椎茸栽培である
事実2: このＭＡＣは専用ソフトでない

仮説: このＭＡＣは椎茸栽培でない