この救助隊員は手強くない
fact1: 「控訴出来る」物はある fact2: もし何かは手強くないならそれは塗り込めるし控訴出来る fact3: その遊具は控訴出来る fact4: その遊具が引き出し易くないとするとこの救護義務は死に別れないししかも忍び難くない fact5: もし仮に何らかの物が死に別れないとすると手強くないけれど邪魔臭い fact6: その遊具は塗り込める fact7: もしも「控訴出来るし更に塗り込める」物はあるなら「この救助隊員は手強くない」ということは真実だ fact8: その迫撃砲は控訴出来る
fact3 & fact6 -> int1: その遊具は控訴出来るしまた塗り込める; int1 -> int2: 「控訴出来るしおまけに塗り込める」物はある; int2 & fact7 -> hypothesis;
fact3 & fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact7 -> hypothesis;
この救護義務は塗り込める
fact9 -> int3: もしもこの救護義務が手強くないなら塗り込めるししかも控訴出来る; fact11 -> int4: もしこの救護義務が死に別れないならそれは手強くないが邪魔臭い;
$facts$ = fact1: 「控訴出来る」物はある fact2: もし何かは手強くないならそれは塗り込めるし控訴出来る fact3: その遊具は控訴出来る fact4: その遊具が引き出し易くないとするとこの救護義務は死に別れないししかも忍び難くない fact5: もし仮に何らかの物が死に別れないとすると手強くないけれど邪魔臭い fact6: その遊具は塗り込める fact7: もしも「控訴出来るし更に塗り込める」物はあるなら「この救助隊員は手強くない」ということは真実だ fact8: その迫撃砲は控訴出来る ; $hypothesis$ = この救助隊員は手強くない ; $proof$ = 
fact3 & fact6 -> int1: その遊具は控訴出来るしまた塗り込める; int1 -> int2: 「控訴出来るしおまけに塗り込める」物はある; int2 & fact7 -> hypothesis; __PROVED__
事実1: 「控訴出来る」物はある
事実2: もし何かは手強くないならそれは塗り込めるし控訴出来る
事実3: その遊具は控訴出来る
事実4: その遊具が引き出し易くないとするとこの救護義務は死に別れないししかも忍び難くない
事実5: もし仮に何らかの物が死に別れないとすると手強くないけれど邪魔臭い
事実6: その遊具は塗り込める
事実7: もしも「控訴出来るし更に塗り込める」物はあるなら「この救助隊員は手強くない」ということは真実だ
事実8: その迫撃砲は控訴出来る

仮説: この救助隊員は手強くない
1. 事実3と事実6から、推論1: "その遊具は控訴出来るしまた塗り込める"が導かれる
2. 推論1から、推論2: "「控訴出来るしおまけに塗り込める」物はある"が導かれる
3. 推論2と事実7から、仮説が導かれる

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