「もしも個別信金でないとすると外し易くないしまたひもじさでない」ものはある
fact1: 「「個別信金だということはないとすると外し易くない」物はある」ということは嘘でない fact2: もしもなんらかのものが押し通さないならばそれはむず痒くなくてしかももどかしくない fact3: 「仮に呪い殺すとすれば仄白くないしその上埃っぽいない」ものはある fact4: もし「あの衆参は個別信金でない」ということは誤っていないならば外し易くないし更にそれはひもじさでない fact5: 「もし個別信金ならば外し易くないしひもじさでない」物はある fact6: もしもあの衆参が個別信金だとしたらそれは外し易くないしさらにひもじさでない
fact4 -> hypothesis;
「押し通すということはないとしたらむず痒くないしまたもどかしいない」物はある
fact7 -> int1: もしその撓が押し通すということはないとしたらそれはむず痒くないししかももどかしくない; int1 -> hypothesis;
$facts$ = fact1: 「「個別信金だということはないとすると外し易くない」物はある」ということは嘘でない fact2: もしもなんらかのものが押し通さないならばそれはむず痒くなくてしかももどかしくない fact3: 「仮に呪い殺すとすれば仄白くないしその上埃っぽいない」ものはある fact4: もし「あの衆参は個別信金でない」ということは誤っていないならば外し易くないし更にそれはひもじさでない fact5: 「もし個別信金ならば外し易くないしひもじさでない」物はある fact6: もしもあの衆参が個別信金だとしたらそれは外し易くないしさらにひもじさでない ; $hypothesis$ = 「もしも個別信金でないとすると外し易くないしまたひもじさでない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「個別信金だということはないとすると外し易くない」物はある」ということは嘘でない
事実2: もしもなんらかのものが押し通さないならばそれはむず痒くなくてしかももどかしくない
事実3: 「仮に呪い殺すとすれば仄白くないしその上埃っぽいない」ものはある
事実4: もし「あの衆参は個別信金でない」ということは誤っていないならば外し易くないし更にそれはひもじさでない
事実5: 「もし個別信金ならば外し易くないしひもじさでない」物はある
事実6: もしもあの衆参が個別信金だとしたらそれは外し易くないしさらにひもじさでない

仮説: 「もしも個別信金でないとすると外し易くないしまたひもじさでない」ものはある
1. 事実4から、仮説が導かれる

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