仮にこのバター焼きが低所得層だとするとあの毒薬は特殊化しない
fact1: このバター焼きは常連らしい fact2: 仮にこのバター焼きは齎し易いししかも低所得層ならばムーンストーンでない fact3: もしもあの毒薬は手加減するということはないがしかし交戦権だとすればそれは特殊化する fact4: もしも「なんらかのものは交戦権でないし手加減しない」ということは間違いならそれは齎し易いということはない fact5: このバター焼きがムーンストーンでないとしたらあの毒薬は手加減しないけど交戦権だ fact6: あの夏蜜柑はムーンストーンであるしアイシングである fact7: 仮になんらかのものは手加減しないけど交戦権であるならば特殊化しない fact8: もし仮に「このバター焼きは返済能力でないかあるいは下付するかもしくはどちらもである」ということは成り立たないとすれば齎し易い fact9: もしも「齎し易くない」物があるとすればその指導目標はムーンストーンだしそれに低所得層だ fact10: 「このバター焼きは返済能力でないかあるいは下付する」ということは間違いだ
fact8 & fact10 -> int1: このバター焼きは齎し易い; void -> assump1: 以下のように仮定する。このバター焼きは低所得層である; int1 & assump1 -> int2: このバター焼きは齎し易くて加えて低所得層である; int2 & fact2 -> int3: このバター焼きはムーンストーンでない; int3 & fact5 -> int4: あの毒薬は手加減しない一方で交戦権である; fact7 -> int5: あの毒薬は手加減しない一方で交戦権なら特殊化しない; int4 & int5 -> int6: あの毒薬は特殊化しない; [assump1] & int6 -> hypothesis;
その指導目標はムーンストーンである
fact12 -> int7: 「このバター焼きは交戦権でなくてそれは手加減しない」ということは成り立たないなら「それは齎し易くない」ということは正しい;
$facts$ = fact1: このバター焼きは常連らしい fact2: 仮にこのバター焼きは齎し易いししかも低所得層ならばムーンストーンでない fact3: もしもあの毒薬は手加減するということはないがしかし交戦権だとすればそれは特殊化する fact4: もしも「なんらかのものは交戦権でないし手加減しない」ということは間違いならそれは齎し易いということはない fact5: このバター焼きがムーンストーンでないとしたらあの毒薬は手加減しないけど交戦権だ fact6: あの夏蜜柑はムーンストーンであるしアイシングである fact7: 仮になんらかのものは手加減しないけど交戦権であるならば特殊化しない fact8: もし仮に「このバター焼きは返済能力でないかあるいは下付するかもしくはどちらもである」ということは成り立たないとすれば齎し易い fact9: もしも「齎し易くない」物があるとすればその指導目標はムーンストーンだしそれに低所得層だ fact10: 「このバター焼きは返済能力でないかあるいは下付する」ということは間違いだ ; $hypothesis$ = 仮にこのバター焼きが低所得層だとするとあの毒薬は特殊化しない ; $proof$ = 
fact8 & fact10 -> int1: このバター焼きは齎し易い; void -> assump1: 以下のように仮定する。このバター焼きは低所得層である; int1 & assump1 -> int2: このバター焼きは齎し易くて加えて低所得層である; int2 & fact2 -> int3: このバター焼きはムーンストーンでない; int3 & fact5 -> int4: あの毒薬は手加減しない一方で交戦権である; fact7 -> int5: あの毒薬は手加減しない一方で交戦権なら特殊化しない; int4 & int5 -> int6: あの毒薬は特殊化しない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: このバター焼きは常連らしい
事実2: 仮にこのバター焼きは齎し易いししかも低所得層ならばムーンストーンでない
事実3: もしもあの毒薬は手加減するということはないがしかし交戦権だとすればそれは特殊化する
事実4: もしも「なんらかのものは交戦権でないし手加減しない」ということは間違いならそれは齎し易いということはない
事実5: このバター焼きがムーンストーンでないとしたらあの毒薬は手加減しないけど交戦権だ
事実6: あの夏蜜柑はムーンストーンであるしアイシングである
事実7: 仮になんらかのものは手加減しないけど交戦権であるならば特殊化しない
事実8: もし仮に「このバター焼きは返済能力でないかあるいは下付するかもしくはどちらもである」ということは成り立たないとすれば齎し易い
事実9: もしも「齎し易くない」物があるとすればその指導目標はムーンストーンだしそれに低所得層だ
事実10: 「このバター焼きは返済能力でないかあるいは下付する」ということは間違いだ

仮説: 仮にこのバター焼きが低所得層だとするとあの毒薬は特殊化しない
1. 事実8と事実10から、推論1: "このバター焼きは齎し易い"が導かれる
2. 仮定1: 以下のように仮定する。このバター焼きは低所得層である
3. 推論1と仮定1から、推論2: "このバター焼きは齎し易くて加えて低所得層である"が導かれる
4. 推論2と事実2から、推論3: "このバター焼きはムーンストーンでない"が導かれる
5. 推論3と事実5から、推論4: "あの毒薬は手加減しない一方で交戦権である"が導かれる
6. 事実7から、推論5: "あの毒薬は手加減しない一方で交戦権なら特殊化しない"が導かれる
7. 推論4と推論5から、推論6: "あの毒薬は特殊化しない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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