もし仮にあの調停申し立ては寂しいとすると「その品はキャンデーでない」ということは成り立たない
fact1: 「「あの実験モデルは妬ましくて顕在化し易い」ということは成り立つ」ということは成り立たない fact2: 寂しかない物は書しないけど怠ける fact3: 「あの調停申し立てはひもじい」ということは成り立つとしたら「このチェックインＰＭはひもじいということはないけどそれは生まれ易い」ということは正しい fact4: もしその品が妬ましくないとすればこのチェックインＰＭはひもじいしさらにそれは生まれ易い fact5: もし仮にこのチェックインＰＭがひもじくないが生まれ易いとしたらその品はキャンデーである fact6: あの調停申し立てが寂しいとしたらそれはひもじい fact7: 仮に「「あの調停申し立てはキャンデーだということはないか寂しかない」ということは成り立たない」ということは事実だとしたら「あの交際費等は寂しかない」ということは誤りでない
void -> assump1: 以下のように仮定する。あの調停申し立ては寂しい; fact6 & assump1 -> int1: あの調停申し立てはひもじい; int1 & fact3 -> int2: このチェックインＰＭはひもじくない一方で生まれ易い; int2 & fact5 -> int3: その品はキャンデーである; [assump1] & int3 -> hypothesis;
あの交際費等は書するということはないけど怠ける
fact9 -> int4: もしもあの交際費等が寂しいということはないとしたら書するということはないしその上怠ける; fact10 -> int5: 「「妬ましくて顕在化し易い」ということは間違いである」ものはある;
$facts$ = fact1: 「「あの実験モデルは妬ましくて顕在化し易い」ということは成り立つ」ということは成り立たない fact2: 寂しかない物は書しないけど怠ける fact3: 「あの調停申し立てはひもじい」ということは成り立つとしたら「このチェックインＰＭはひもじいということはないけどそれは生まれ易い」ということは正しい fact4: もしその品が妬ましくないとすればこのチェックインＰＭはひもじいしさらにそれは生まれ易い fact5: もし仮にこのチェックインＰＭがひもじくないが生まれ易いとしたらその品はキャンデーである fact6: あの調停申し立てが寂しいとしたらそれはひもじい fact7: 仮に「「あの調停申し立てはキャンデーだということはないか寂しかない」ということは成り立たない」ということは事実だとしたら「あの交際費等は寂しかない」ということは誤りでない ; $hypothesis$ = もし仮にあの調停申し立ては寂しいとすると「その品はキャンデーでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの調停申し立ては寂しい; fact6 & assump1 -> int1: あの調停申し立てはひもじい; int1 & fact3 -> int2: このチェックインＰＭはひもじくない一方で生まれ易い; int2 & fact5 -> int3: その品はキャンデーである; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「「あの実験モデルは妬ましくて顕在化し易い」ということは成り立つ」ということは成り立たない
事実2: 寂しかない物は書しないけど怠ける
事実3: 「あの調停申し立てはひもじい」ということは成り立つとしたら「このチェックインＰＭはひもじいということはないけどそれは生まれ易い」ということは正しい
事実4: もしその品が妬ましくないとすればこのチェックインＰＭはひもじいしさらにそれは生まれ易い
事実5: もし仮にこのチェックインＰＭがひもじくないが生まれ易いとしたらその品はキャンデーである
事実6: あの調停申し立てが寂しいとしたらそれはひもじい
事実7: 仮に「「あの調停申し立てはキャンデーだということはないか寂しかない」ということは成り立たない」ということは事実だとしたら「あの交際費等は寂しかない」ということは誤りでない

仮説: もし仮にあの調停申し立ては寂しいとすると「その品はキャンデーでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの調停申し立ては寂しい
2. 事実6と仮定1から、推論1: "あの調停申し立てはひもじい"が導かれる
3. 推論1と事実3から、推論2: "このチェックインＰＭはひもじくない一方で生まれ易い"が導かれる
4. 推論2と事実5から、推論3: "その品はキャンデーである"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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