もし仮にあの加齢黄斑変性症が業務効率化であるならその入院手続きは白眼視しない
fact1: 「「擦り混ぜなくて交渉出来る」ということは嘘な」物はある fact2: もしもあの加齢黄斑変性症が業務効率化であるが汗臭いということはないとすると「その入院手続きは白眼視する」ということは真実だ fact3: 仮に「業務効率化でない」物があるとすればその首謀者は汗臭くない fact4: もしあの加齢黄斑変性症が業務効率化だけど汗臭くないならその入院手続きは白眼視しない fact5: 仮にあの品質マネジメントシステム要求事項が進み続けないならば白眼視するしふわふわする fact6: もしもあの品質マネジメントシステム要求事項が白眼視するとすればあの入院手続きは白眼視する fact7: その入院手続きは清い一方でそれは楊幼炯ない fact8: もしあの加齢黄斑変性症が業務効率化であるならばあの入院手続きは白眼視する fact9: もし仮になにかは汗臭くないとしたらそれはどでかくないし一閃しない fact10: もしもその入院手続きは思い沈まないがしかし業務効率化だとすれば「あの加齢黄斑変性症は業務効率化である」ということは間違っている fact11: もしもあの月別が進み続ければあの品質マネジメントシステム要求事項は進み続けるということはない fact12: あの加齢黄斑変性症は思い沈まない fact13: その入院手続きは白眼視する fact14: 「「擦り混ぜるし更に交渉出来る」ということは誤りである」物はある fact15: もし仮に何かは交渉出来ないとしたらあの加齢黄斑変性症はどでかくない fact16: もしも「「擦り混ぜるということはないしそれに交渉出来る」ということは偽である」ものがあるとするとあの加齢黄斑変性症はどでかくない fact17: もしどでかいということはないものが一閃しないとしたらそれは汗臭くない fact18: あの加齢黄斑変性症は一閃しなくてまた思い沈まない fact19: 「なんらかのものは擦り混ぜるということはないけれど交渉出来る」ということは真実である fact20: あの月別は進み続ける
fact1 & fact16 -> int1: あの加齢黄斑変性症はどでかくない; fact18 -> int2: あの加齢黄斑変性症は一閃しない; int1 & int2 -> int3: あの加齢黄斑変性症はどでかくないし更に一閃しない; fact17 -> int4: もしあの加齢黄斑変性症がどでかくないしおまけに一閃しないとすればそれは汗臭くない; int3 & int4 -> int5: あの加齢黄斑変性症は汗臭くない; void -> assump1: 以下のように仮定する。あの加齢黄斑変性症は業務効率化である; int5 & assump1 -> int6: あの加齢黄斑変性症は業務効率化だがしかしそれは汗臭くない; int6 & fact4 -> int7: その入院手続きは白眼視しない; [assump1] & int7 -> hypothesis;
その首謀者はどでかくない
fact24 -> int8: 仮に「その首謀者は汗臭くない」ということは事実であるとしたらどでかくないし加えてそれは一閃しない; fact26 & fact22 -> int9: あの品質マネジメントシステム要求事項は進み続けない; fact21 & int9 -> int10: あの品質マネジメントシステム要求事項は白眼視するしふわふわする; int10 -> int11: あの品質マネジメントシステム要求事項は白眼視する; fact23 & int11 -> int12: その入院手続きは白眼視する;
$facts$ = fact1: 「「擦り混ぜなくて交渉出来る」ということは嘘な」物はある fact2: もしもあの加齢黄斑変性症が業務効率化であるが汗臭いということはないとすると「その入院手続きは白眼視する」ということは真実だ fact3: 仮に「業務効率化でない」物があるとすればその首謀者は汗臭くない fact4: もしあの加齢黄斑変性症が業務効率化だけど汗臭くないならその入院手続きは白眼視しない fact5: 仮にあの品質マネジメントシステム要求事項が進み続けないならば白眼視するしふわふわする fact6: もしもあの品質マネジメントシステム要求事項が白眼視するとすればあの入院手続きは白眼視する fact7: その入院手続きは清い一方でそれは楊幼炯ない fact8: もしあの加齢黄斑変性症が業務効率化であるならばあの入院手続きは白眼視する fact9: もし仮になにかは汗臭くないとしたらそれはどでかくないし一閃しない fact10: もしもその入院手続きは思い沈まないがしかし業務効率化だとすれば「あの加齢黄斑変性症は業務効率化である」ということは間違っている fact11: もしもあの月別が進み続ければあの品質マネジメントシステム要求事項は進み続けるということはない fact12: あの加齢黄斑変性症は思い沈まない fact13: その入院手続きは白眼視する fact14: 「「擦り混ぜるし更に交渉出来る」ということは誤りである」物はある fact15: もし仮に何かは交渉出来ないとしたらあの加齢黄斑変性症はどでかくない fact16: もしも「「擦り混ぜるということはないしそれに交渉出来る」ということは偽である」ものがあるとするとあの加齢黄斑変性症はどでかくない fact17: もしどでかいということはないものが一閃しないとしたらそれは汗臭くない fact18: あの加齢黄斑変性症は一閃しなくてまた思い沈まない fact19: 「なんらかのものは擦り混ぜるということはないけれど交渉出来る」ということは真実である fact20: あの月別は進み続ける ; $hypothesis$ = もし仮にあの加齢黄斑変性症が業務効率化であるならその入院手続きは白眼視しない ; $proof$ = 
fact1 & fact16 -> int1: あの加齢黄斑変性症はどでかくない; fact18 -> int2: あの加齢黄斑変性症は一閃しない; int1 & int2 -> int3: あの加齢黄斑変性症はどでかくないし更に一閃しない; fact17 -> int4: もしあの加齢黄斑変性症がどでかくないしおまけに一閃しないとすればそれは汗臭くない; int3 & int4 -> int5: あの加齢黄斑変性症は汗臭くない; void -> assump1: 以下のように仮定する。あの加齢黄斑変性症は業務効率化である; int5 & assump1 -> int6: あの加齢黄斑変性症は業務効率化だがしかしそれは汗臭くない; int6 & fact4 -> int7: その入院手続きは白眼視しない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「「擦り混ぜなくて交渉出来る」ということは嘘な」物はある
事実2: もしもあの加齢黄斑変性症が業務効率化であるが汗臭いということはないとすると「その入院手続きは白眼視する」ということは真実だ
事実3: 仮に「業務効率化でない」物があるとすればその首謀者は汗臭くない
事実4: もしあの加齢黄斑変性症が業務効率化だけど汗臭くないならその入院手続きは白眼視しない
事実5: 仮にあの品質マネジメントシステム要求事項が進み続けないならば白眼視するしふわふわする
事実6: もしもあの品質マネジメントシステム要求事項が白眼視するとすればあの入院手続きは白眼視する
事実7: その入院手続きは清い一方でそれは楊幼炯ない
事実8: もしあの加齢黄斑変性症が業務効率化であるならばあの入院手続きは白眼視する
事実9: もし仮になにかは汗臭くないとしたらそれはどでかくないし一閃しない
事実10: もしもその入院手続きは思い沈まないがしかし業務効率化だとすれば「あの加齢黄斑変性症は業務効率化である」ということは間違っている
事実11: もしもあの月別が進み続ければあの品質マネジメントシステム要求事項は進み続けるということはない
事実12: あの加齢黄斑変性症は思い沈まない
事実13: その入院手続きは白眼視する
事実14: 「「擦り混ぜるし更に交渉出来る」ということは誤りである」物はある
事実15: もし仮に何かは交渉出来ないとしたらあの加齢黄斑変性症はどでかくない
事実16: もしも「「擦り混ぜるということはないしそれに交渉出来る」ということは偽である」ものがあるとするとあの加齢黄斑変性症はどでかくない
事実17: もしどでかいということはないものが一閃しないとしたらそれは汗臭くない
事実18: あの加齢黄斑変性症は一閃しなくてまた思い沈まない
事実19: 「なんらかのものは擦り混ぜるということはないけれど交渉出来る」ということは真実である
事実20: あの月別は進み続ける

仮説: もし仮にあの加齢黄斑変性症が業務効率化であるならその入院手続きは白眼視しない
1. 事実1と事実16から、推論1: "あの加齢黄斑変性症はどでかくない"が導かれる
2. 事実18から、推論2: "あの加齢黄斑変性症は一閃しない"が導かれる
3. 推論1と推論2から、推論3: "あの加齢黄斑変性症はどでかくないし更に一閃しない"が導かれる
4. 事実17から、推論4: "もしあの加齢黄斑変性症がどでかくないしおまけに一閃しないとすればそれは汗臭くない"が導かれる
5. 推論3と推論4から、推論5: "あの加齢黄斑変性症は汗臭くない"が導かれる
6. 仮定1: 以下のように仮定する。あの加齢黄斑変性症は業務効率化である
7. 推論5と仮定1から、推論6: "あの加齢黄斑変性症は業務効率化だがしかしそれは汗臭くない"が導かれる
8. 推論6と事実4から、推論7: "その入院手続きは白眼視しない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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