「もしも特売だということはないならばちぎれ易くないしさらに早くない」物はある
fact1: 「もし骨っぽくないとすると制限すらなくてリスクファクターでない」ものはある fact2: 「もし仮に特売だということはないとすればちぎれ易い一方で早いということはない」物はある fact3: あの処置後が考え深くないとしたらそれは特売でないし動態でない fact4: もしもあの処置後は特売でないならばそれはちぎれ易いということはない fact5: 「特売でないとすると早くない」ものはある fact6: 「もし債務不存在でないとしたら侵入し易くないし腑甲斐無くない」物はある fact7: 「数行でないとしたら発達すらなくてしかも起こり難くない」ものはある fact8: もし「あの処置後はＨＩＭであるということはない」ということは真実だとするとそれは全快しないしそれに早くない fact9: 「「特売ならちぎれ易いということはないし早いということはない」ものはある」ということは本当だ fact10: 「もしも一般意思でないとすれば復活出来ないし狙われ易くない」物はある fact11: 判別し易いということはない物は腑甲斐無くないしそれに骨っぽいということはない fact12: あの処置後が特売だということはないとしたらそれはちぎれ易くないしそれは早くない fact13: 「もし「特売だということはない」ということは成り立つとしたらちぎれ易くない」ものはある fact14: あの処置後が生温かくないとすればそれは拉しなくてちぎれ易くない fact15: 「あの処置後は特売だということはない」ということは成り立つとするとそれはちぎれ易くないしおまけに早い fact16: 「仮に特売でないならちぎれ易くないけど早い」物はある fact17: もしもあの処置後が特売だとするとちぎれ易くないしおまけに早くない fact18: もし仮にこの御骨が二心だということはないならそれは三願いでなくてちぎれ易くない fact19: もしあの処置後は兵舎でないとしたら「それは育児書であるということはなくて通り易くない」ということは本当である fact20: あの処置後が離散するということはないならそれは通信路であるということはなくて早くない
fact12 -> hypothesis;
「判別し易くないとしたら腑甲斐無くないしそれに骨っぽくない」物はある
fact21 -> int1: もしもこの分解者は判別し易くないとしたら腑甲斐無くないしその上骨っぽいということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし骨っぽくないとすると制限すらなくてリスクファクターでない」ものはある fact2: 「もし仮に特売だということはないとすればちぎれ易い一方で早いということはない」物はある fact3: あの処置後が考え深くないとしたらそれは特売でないし動態でない fact4: もしもあの処置後は特売でないならばそれはちぎれ易いということはない fact5: 「特売でないとすると早くない」ものはある fact6: 「もし債務不存在でないとしたら侵入し易くないし腑甲斐無くない」物はある fact7: 「数行でないとしたら発達すらなくてしかも起こり難くない」ものはある fact8: もし「あの処置後はＨＩＭであるということはない」ということは真実だとするとそれは全快しないしそれに早くない fact9: 「「特売ならちぎれ易いということはないし早いということはない」ものはある」ということは本当だ fact10: 「もしも一般意思でないとすれば復活出来ないし狙われ易くない」物はある fact11: 判別し易いということはない物は腑甲斐無くないしそれに骨っぽいということはない fact12: あの処置後が特売だということはないとしたらそれはちぎれ易くないしそれは早くない fact13: 「もし「特売だということはない」ということは成り立つとしたらちぎれ易くない」ものはある fact14: あの処置後が生温かくないとすればそれは拉しなくてちぎれ易くない fact15: 「あの処置後は特売だということはない」ということは成り立つとするとそれはちぎれ易くないしおまけに早い fact16: 「仮に特売でないならちぎれ易くないけど早い」物はある fact17: もしもあの処置後が特売だとするとちぎれ易くないしおまけに早くない fact18: もし仮にこの御骨が二心だということはないならそれは三願いでなくてちぎれ易くない fact19: もしあの処置後は兵舎でないとしたら「それは育児書であるということはなくて通り易くない」ということは本当である fact20: あの処置後が離散するということはないならそれは通信路であるということはなくて早くない ; $hypothesis$ = 「もしも特売だということはないならばちぎれ易くないしさらに早くない」物はある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もし骨っぽくないとすると制限すらなくてリスクファクターでない」ものはある
事実2: 「もし仮に特売だということはないとすればちぎれ易い一方で早いということはない」物はある
事実3: あの処置後が考え深くないとしたらそれは特売でないし動態でない
事実4: もしもあの処置後は特売でないならばそれはちぎれ易いということはない
事実5: 「特売でないとすると早くない」ものはある
事実6: 「もし債務不存在でないとしたら侵入し易くないし腑甲斐無くない」物はある
事実7: 「数行でないとしたら発達すらなくてしかも起こり難くない」ものはある
事実8: もし「あの処置後はＨＩＭであるということはない」ということは真実だとするとそれは全快しないしそれに早くない
事実9: 「「特売ならちぎれ易いということはないし早いということはない」ものはある」ということは本当だ
事実10: 「もしも一般意思でないとすれば復活出来ないし狙われ易くない」物はある
事実11: 判別し易いということはない物は腑甲斐無くないしそれに骨っぽいということはない
事実12: あの処置後が特売だということはないとしたらそれはちぎれ易くないしそれは早くない
事実13: 「もし「特売だということはない」ということは成り立つとしたらちぎれ易くない」ものはある
事実14: あの処置後が生温かくないとすればそれは拉しなくてちぎれ易くない
事実15: 「あの処置後は特売だということはない」ということは成り立つとするとそれはちぎれ易くないしおまけに早い
事実16: 「仮に特売でないならちぎれ易くないけど早い」物はある
事実17: もしもあの処置後が特売だとするとちぎれ易くないしおまけに早くない
事実18: もし仮にこの御骨が二心だということはないならそれは三願いでなくてちぎれ易くない
事実19: もしあの処置後は兵舎でないとしたら「それは育児書であるということはなくて通り易くない」ということは本当である
事実20: あの処置後が離散するということはないならそれは通信路であるということはなくて早くない

仮説: 「もしも特売だということはないならばちぎれ易くないしさらに早くない」物はある
1. 事実12から、仮説が導かれる

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