もし「あの毎日家は医療審議会であるけど供給量だということはない」ということは誤りであるならあの振り返り用紙は見え易くない
fact1: もし仮に「「なんらかのものは医療審議会であるけれどそれは供給量でない」ということは成り立つ」ということは間違いなら「嫌らしい」ということは正しい fact2: もし仮に「あの毎日家は医療審議会であるし供給量である」ということは誤りであるとするとそれは嫌らしい fact3: もし仮にあの毎日家が嫌らしいならばあの振り返り用紙は見え易くない
fact1 -> int1: もし「あの毎日家は医療審議会であるが供給量だということはない」ということは成り立たないならばそれは嫌らしい; void -> assump1: 以下のように仮定する。「あの毎日家は医療審議会であるがしかしそれは供給量でない」ということは間違っている; int1 & assump1 -> int2: 「あの毎日家は嫌らしい」ということは確かである; int2 & fact3 -> int3: あの振り返り用紙は見え易くない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮に「「なんらかのものは医療審議会であるけれどそれは供給量でない」ということは成り立つ」ということは間違いなら「嫌らしい」ということは正しい fact2: もし仮に「あの毎日家は医療審議会であるし供給量である」ということは誤りであるとするとそれは嫌らしい fact3: もし仮にあの毎日家が嫌らしいならばあの振り返り用紙は見え易くない ; $hypothesis$ = もし「あの毎日家は医療審議会であるけど供給量だということはない」ということは誤りであるならあの振り返り用紙は見え易くない ; $proof$ = 
fact1 -> int1: もし「あの毎日家は医療審議会であるが供給量だということはない」ということは成り立たないならばそれは嫌らしい; void -> assump1: 以下のように仮定する。「あの毎日家は医療審議会であるがしかしそれは供給量でない」ということは間違っている; int1 & assump1 -> int2: 「あの毎日家は嫌らしい」ということは確かである; int2 & fact3 -> int3: あの振り返り用紙は見え易くない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「「なんらかのものは医療審議会であるけれどそれは供給量でない」ということは成り立つ」ということは間違いなら「嫌らしい」ということは正しい
事実2: もし仮に「あの毎日家は医療審議会であるし供給量である」ということは誤りであるとするとそれは嫌らしい
事実3: もし仮にあの毎日家が嫌らしいならばあの振り返り用紙は見え易くない

仮説: もし「あの毎日家は医療審議会であるけど供給量だということはない」ということは誤りであるならあの振り返り用紙は見え易くない
1. 事実1から、推論1: "もし「あの毎日家は医療審議会であるが供給量だということはない」ということは成り立たないならばそれは嫌らしい"が導かれる
2. 仮定1: 以下のように仮定する。「あの毎日家は医療審議会であるがしかしそれは供給量でない」ということは間違っている
3. 推論1と仮定1から、推論2: "「あの毎日家は嫌らしい」ということは確かである"が導かれる
4. 推論2と事実3から、推論3: "あの振り返り用紙は見え易くない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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