その下絵は喜び勇まない
fact1: もしこの傍点が歯牙であるならばあの下絵は喜び勇む fact2: なにがしかのものは喜び勇まないしさらに歯牙でないとしたらそれは操縦するということはない fact3: もしあの被子植物が診断的評価でないとしたらそれは過ぎ去らなくてしかも思い惑わない fact4: あの畜舎は喜び勇まない fact5: その下絵は融資するということはない fact6: もしもなんらかのものが操縦すればそれは歯牙だ fact7: 「歯牙であるけど操縦しない」物はある fact8: 「もしも何かは歯牙だとすると喜び勇む」ということは成り立つ fact9: 「「その保護主義的貿易政策が診断的評価だしそれは退転する」ということは本当でない」ということは成り立つ fact10: もし仮にとあるものがダブルクリックするということはないとすると左親指でそれは操縦する fact11: もしあるものが使用し難いけど喜び勇まないとするとその下絵が取り次はない fact12: その下絵は歯牙でない fact13: 「歯牙であるししかも操縦する」物はある fact14: 「操縦しない」ものはある fact15: 仮に「その保護主義的貿易政策は診断的評価であるし退転する」ということは偽ならばあの被子植物は診断的評価でない fact16: もし「なんらかのものは過ぎ去るし加えてダブルクリックする」ということは成り立つということはないとしたらそれはダブルクリックしない fact17: とあるものは歯牙であるが操縦しないとしたら「その下絵は喜び勇まない」ということは事実だ fact18: もしこの傍点が左親指でないとしたらその下絵は喜び勇まないし加えてそれは歯牙でない fact19: なにがしかのものは喜び勇む
fact7 & fact17 -> hypothesis;
fact7 & fact17 -> hypothesis;
「その下絵は喜び勇まない」ということは間違いである
fact20 -> int1: その下絵は歯牙であるとすると喜び勇む;
$facts$ = fact1: もしこの傍点が歯牙であるならばあの下絵は喜び勇む fact2: なにがしかのものは喜び勇まないしさらに歯牙でないとしたらそれは操縦するということはない fact3: もしあの被子植物が診断的評価でないとしたらそれは過ぎ去らなくてしかも思い惑わない fact4: あの畜舎は喜び勇まない fact5: その下絵は融資するということはない fact6: もしもなんらかのものが操縦すればそれは歯牙だ fact7: 「歯牙であるけど操縦しない」物はある fact8: 「もしも何かは歯牙だとすると喜び勇む」ということは成り立つ fact9: 「「その保護主義的貿易政策が診断的評価だしそれは退転する」ということは本当でない」ということは成り立つ fact10: もし仮にとあるものがダブルクリックするということはないとすると左親指でそれは操縦する fact11: もしあるものが使用し難いけど喜び勇まないとするとその下絵が取り次はない fact12: その下絵は歯牙でない fact13: 「歯牙であるししかも操縦する」物はある fact14: 「操縦しない」ものはある fact15: 仮に「その保護主義的貿易政策は診断的評価であるし退転する」ということは偽ならばあの被子植物は診断的評価でない fact16: もし「なんらかのものは過ぎ去るし加えてダブルクリックする」ということは成り立つということはないとしたらそれはダブルクリックしない fact17: とあるものは歯牙であるが操縦しないとしたら「その下絵は喜び勇まない」ということは事実だ fact18: もしこの傍点が左親指でないとしたらその下絵は喜び勇まないし加えてそれは歯牙でない fact19: なにがしかのものは喜び勇む ; $hypothesis$ = その下絵は喜び勇まない ; $proof$ = 
fact7 & fact17 -> hypothesis; __PROVED__
事実1: もしこの傍点が歯牙であるならばあの下絵は喜び勇む
事実2: なにがしかのものは喜び勇まないしさらに歯牙でないとしたらそれは操縦するということはない
事実3: もしあの被子植物が診断的評価でないとしたらそれは過ぎ去らなくてしかも思い惑わない
事実4: あの畜舎は喜び勇まない
事実5: その下絵は融資するということはない
事実6: もしもなんらかのものが操縦すればそれは歯牙だ
事実7: 「歯牙であるけど操縦しない」物はある
事実8: 「もしも何かは歯牙だとすると喜び勇む」ということは成り立つ
事実9: 「「その保護主義的貿易政策が診断的評価だしそれは退転する」ということは本当でない」ということは成り立つ
事実10: もし仮にとあるものがダブルクリックするということはないとすると左親指でそれは操縦する
事実11: もしあるものが使用し難いけど喜び勇まないとするとその下絵が取り次はない
事実12: その下絵は歯牙でない
事実13: 「歯牙であるししかも操縦する」物はある
事実14: 「操縦しない」ものはある
事実15: 仮に「その保護主義的貿易政策は診断的評価であるし退転する」ということは偽ならばあの被子植物は診断的評価でない
事実16: もし「なんらかのものは過ぎ去るし加えてダブルクリックする」ということは成り立つということはないとしたらそれはダブルクリックしない
事実17: とあるものは歯牙であるが操縦しないとしたら「その下絵は喜び勇まない」ということは事実だ
事実18: もしこの傍点が左親指でないとしたらその下絵は喜び勇まないし加えてそれは歯牙でない
事実19: なにがしかのものは喜び勇む

仮説: その下絵は喜び勇まない
1. 事実7と事実17から、仮説が導かれる

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