「この策定等は乾き易くない」ということは事実である
fact1: もし仮に「この策定等は乾き易くない」ということは成り立つとすれば「依怙地だしまたフィニッシュする」ということは確かでない fact2: 幼くない物は乾き易い fact3: この性的虐待は幼くない fact4: もしもその生真面目が増え難くないとしたらＺＦだし更に減らす fact5: もしもある物がフィニッシュしないならばこの策定等は乾き易くない fact6: なにがしかの物はフィニッシュするし依怙地である fact7: もし「なにかは混乱し始めないしそれは乾き易くない」ということは事実と異なるならそれは幼いということはない fact8: 仮にその生真面目はＺＦなら「この策定等は混乱し始めないしまた乾き易くない」ということは間違っている fact9: 仮に「「フィニッシュするし加えて依怙地だ」ということは成り立たない」物があればこの策定等は乾き易くない fact10: もしこの性的虐待は幼くないとすれば「フィニッシュするし加えて依怙地だ」ということは成り立つということはない
fact10 & fact3 -> int1: 「この性的虐待はフィニッシュするし加えてそれは依怙地だ」ということは嘘である; int1 -> int2: 「「フィニッシュするし依怙地だ」ということは間違っている」ものはある; int2 & fact9 -> hypothesis;
この策定等は乾き易い
fact11 -> int3: もしこの策定等が幼いということはないならば乾き易い;
$facts$ = fact1: もし仮に「この策定等は乾き易くない」ということは成り立つとすれば「依怙地だしまたフィニッシュする」ということは確かでない fact2: 幼くない物は乾き易い fact3: この性的虐待は幼くない fact4: もしもその生真面目が増え難くないとしたらＺＦだし更に減らす fact5: もしもある物がフィニッシュしないならばこの策定等は乾き易くない fact6: なにがしかの物はフィニッシュするし依怙地である fact7: もし「なにかは混乱し始めないしそれは乾き易くない」ということは事実と異なるならそれは幼いということはない fact8: 仮にその生真面目はＺＦなら「この策定等は混乱し始めないしまた乾き易くない」ということは間違っている fact9: 仮に「「フィニッシュするし加えて依怙地だ」ということは成り立たない」物があればこの策定等は乾き易くない fact10: もしこの性的虐待は幼くないとすれば「フィニッシュするし加えて依怙地だ」ということは成り立つということはない ; $hypothesis$ = 「この策定等は乾き易くない」ということは事実である ; $proof$ = 
fact10 & fact3 -> int1: 「この性的虐待はフィニッシュするし加えてそれは依怙地だ」ということは嘘である; int1 -> int2: 「「フィニッシュするし依怙地だ」ということは間違っている」ものはある; int2 & fact9 -> hypothesis; __PROVED__
事実1: もし仮に「この策定等は乾き易くない」ということは成り立つとすれば「依怙地だしまたフィニッシュする」ということは確かでない
事実2: 幼くない物は乾き易い
事実3: この性的虐待は幼くない
事実4: もしもその生真面目が増え難くないとしたらＺＦだし更に減らす
事実5: もしもある物がフィニッシュしないならばこの策定等は乾き易くない
事実6: なにがしかの物はフィニッシュするし依怙地である
事実7: もし「なにかは混乱し始めないしそれは乾き易くない」ということは事実と異なるならそれは幼いということはない
事実8: 仮にその生真面目はＺＦなら「この策定等は混乱し始めないしまた乾き易くない」ということは間違っている
事実9: 仮に「「フィニッシュするし加えて依怙地だ」ということは成り立たない」物があればこの策定等は乾き易くない
事実10: もしこの性的虐待は幼くないとすれば「フィニッシュするし加えて依怙地だ」ということは成り立つということはない

仮説: 「この策定等は乾き易くない」ということは事実である
1. 事実10と事実3から、推論1: "「この性的虐待はフィニッシュするし加えてそれは依怙地だ」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「フィニッシュするし依怙地だ」ということは間違っている」ものはある"が導かれる
3. 推論2と事実9から、仮説が導かれる

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