「僻みっぽいなら庚麿等でないかまたは各部隊でないかもしくは両方ともな」ものはある
fact1: 「もしも僻みっぽいとすれば庚麿等だということはないかもしくは各部隊であるかもしくは両方ともな」物はある fact2: あの灯明料は庚麿等でないか各部隊であるかまたはどちらもだ fact3: あの灯明料が僻みっぽいとすればそれは庚麿等でないか各部隊であるか両方だ fact4: もしもなにがしかの物は庚麿等であるとすれば「それは育ち難くないしかつ僻みっぽいということはない」ということは成り立たない fact5: 「もし僻みっぽいとすれば庚麿等であるか各部隊でない」物はある fact6: 仮にあの灯明料が育ち難いかそれが僻みっぽいとしたらそれは庚麿等でない fact7: もしも「なにがしかのものは育ち難くないしその上僻みっぽくない」ということは成り立つということはないとするとそれは放卵しない fact8: あの灯明料は庚麿等であるかあるいは各部隊でないかまたは両方だ fact9: もし仮に何かは守り易くないなら「かどわかさなくて各部隊でない」ということは真実でない fact10: 仮にあの灯明料が僻みっぽいとするとそれは庚麿等であるかあるいはそれは各部隊でないかあるいはどちらもだ fact11: あの灯明料は育ち難い fact12: もし仮に「あの比例制御帯はかどわかすということはなくて各部隊でない」ということは嘘であるならあの灯明料は庚麿等だ
void -> assump1: 以下のように仮定する。あの灯明料は僻みっぽい; assump1 -> int1: あの灯明料は育ち難いかあるいは僻みっぽいかどちらもである; int1 & fact6 -> int2: あの灯明料は庚麿等であるということはない; int2 -> int3: あの灯明料は庚麿等でないかもしくはそれは各部隊でない; [assump1] & int3 -> int4: もしあの灯明料が僻みっぽいとしたらそれは庚麿等であるということはないか各部隊でないかどちらもである; int4 -> hypothesis;
あの灯明料は放卵しない
fact13 -> int5: もし「あの灯明料は育ち難くなくて僻みっぽくない」ということは間違いであるならば放卵しない; fact16 -> int6: 仮に「あの灯明料は庚麿等だ」ということは真実であるならば「「育ち難いということはなくて僻みっぽいということはない」ということは事実だ」ということは間違いだ; fact15 -> int7: もしあの比例制御帯は守り易くないとすると「それはかどわかさなくてそれは各部隊でない」ということは偽である;
$facts$ = fact1: 「もしも僻みっぽいとすれば庚麿等だということはないかもしくは各部隊であるかもしくは両方ともな」物はある fact2: あの灯明料は庚麿等でないか各部隊であるかまたはどちらもだ fact3: あの灯明料が僻みっぽいとすればそれは庚麿等でないか各部隊であるか両方だ fact4: もしもなにがしかの物は庚麿等であるとすれば「それは育ち難くないしかつ僻みっぽいということはない」ということは成り立たない fact5: 「もし僻みっぽいとすれば庚麿等であるか各部隊でない」物はある fact6: 仮にあの灯明料が育ち難いかそれが僻みっぽいとしたらそれは庚麿等でない fact7: もしも「なにがしかのものは育ち難くないしその上僻みっぽくない」ということは成り立つということはないとするとそれは放卵しない fact8: あの灯明料は庚麿等であるかあるいは各部隊でないかまたは両方だ fact9: もし仮に何かは守り易くないなら「かどわかさなくて各部隊でない」ということは真実でない fact10: 仮にあの灯明料が僻みっぽいとするとそれは庚麿等であるかあるいはそれは各部隊でないかあるいはどちらもだ fact11: あの灯明料は育ち難い fact12: もし仮に「あの比例制御帯はかどわかすということはなくて各部隊でない」ということは嘘であるならあの灯明料は庚麿等だ ; $hypothesis$ = 「僻みっぽいなら庚麿等でないかまたは各部隊でないかもしくは両方ともな」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの灯明料は僻みっぽい; assump1 -> int1: あの灯明料は育ち難いかあるいは僻みっぽいかどちらもである; int1 & fact6 -> int2: あの灯明料は庚麿等であるということはない; int2 -> int3: あの灯明料は庚麿等でないかもしくはそれは各部隊でない; [assump1] & int3 -> int4: もしあの灯明料が僻みっぽいとしたらそれは庚麿等であるということはないか各部隊でないかどちらもである; int4 -> hypothesis; __PROVED__
事実1: 「もしも僻みっぽいとすれば庚麿等だということはないかもしくは各部隊であるかもしくは両方ともな」物はある
事実2: あの灯明料は庚麿等でないか各部隊であるかまたはどちらもだ
事実3: あの灯明料が僻みっぽいとすればそれは庚麿等でないか各部隊であるか両方だ
事実4: もしもなにがしかの物は庚麿等であるとすれば「それは育ち難くないしかつ僻みっぽいということはない」ということは成り立たない
事実5: 「もし僻みっぽいとすれば庚麿等であるか各部隊でない」物はある
事実6: 仮にあの灯明料が育ち難いかそれが僻みっぽいとしたらそれは庚麿等でない
事実7: もしも「なにがしかのものは育ち難くないしその上僻みっぽくない」ということは成り立つということはないとするとそれは放卵しない
事実8: あの灯明料は庚麿等であるかあるいは各部隊でないかまたは両方だ
事実9: もし仮に何かは守り易くないなら「かどわかさなくて各部隊でない」ということは真実でない
事実10: 仮にあの灯明料が僻みっぽいとするとそれは庚麿等であるかあるいはそれは各部隊でないかあるいはどちらもだ
事実11: あの灯明料は育ち難い
事実12: もし仮に「あの比例制御帯はかどわかすということはなくて各部隊でない」ということは嘘であるならあの灯明料は庚麿等だ

仮説: 「僻みっぽいなら庚麿等でないかまたは各部隊でないかもしくは両方ともな」ものはある
1. 仮定1: 以下のように仮定する。あの灯明料は僻みっぽい
2. 仮定1から、推論1: "あの灯明料は育ち難いかあるいは僻みっぽいかどちらもである"が導かれる
3. 推論1と事実6から、推論2: "あの灯明料は庚麿等であるということはない"が導かれる
4. 推論2から、推論3: "あの灯明料は庚麿等でないかもしくはそれは各部隊でない"が導かれる
5. [仮定1]と推論3から、推論4: "もしあの灯明料が僻みっぽいとしたらそれは庚麿等であるということはないか各部隊でないかどちらもである"が導かれる
6. 推論4から、仮説が導かれる

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