「この小脳は飢え乾くし診査・観察する」ということは本当でない
fact1: もしもあの社会福祉改革が逞しいということはないならばあの小脳は飢え乾くしまた診査・観察する fact2: 「女装しない」ものはある fact3: 「診査・観察する」物はある fact4: もしもなんらかのものは逞しくないならば「この小脳は飢え乾くし診査・観察する」ということは成り立たない fact5: 「この小脳はせこいしおまけに逞しい」ということは確かでない fact6: 仮にその六箇月間が第三共和政でないとすればそれは苦くて温かい fact7: もしもその六箇月間がＥＧＦレセプター過剰発現ＣＨＯ細胞なら第三共和政でなくてかつ貧乏しない fact8: 「飢え乾かない」物はある fact9: 「振り抜かない」物はある fact10: あるものは逞しくない fact11: 仮にある物が表示しなくてそれが苦いということはないならばそれは逞しくない fact12: 「診査・観察するということはない」物はある fact13: 仮に「取得し易くない」物はあるとすれば「その各辺は飢え乾くしかつリバーバレー・パートナーズである」ということは成り立たない fact14: 「バランス良くない」ものはある fact15: 逞しい物はある fact16: 逞しくないものは飢え乾くし診査・観察する fact17: なにがしかのものは名付くということはないとすれば「「この小脳は縦覧であるしかつそれは飢え乾く」ということは真実でない」ということは真実だ fact18: 「この小脳は買い整えるし加えてそれは苦い」ということは成り立たない fact19: もし「この小脳は苦くない」ということは事実ならばそれは診査・観察するし加えて逞しい
fact10 & fact4 -> hypothesis;
fact10 & fact4 -> hypothesis;
この小脳は飢え乾くしさらに診査・観察する
$facts$ = fact1: もしもあの社会福祉改革が逞しいということはないならばあの小脳は飢え乾くしまた診査・観察する fact2: 「女装しない」ものはある fact3: 「診査・観察する」物はある fact4: もしもなんらかのものは逞しくないならば「この小脳は飢え乾くし診査・観察する」ということは成り立たない fact5: 「この小脳はせこいしおまけに逞しい」ということは確かでない fact6: 仮にその六箇月間が第三共和政でないとすればそれは苦くて温かい fact7: もしもその六箇月間がＥＧＦレセプター過剰発現ＣＨＯ細胞なら第三共和政でなくてかつ貧乏しない fact8: 「飢え乾かない」物はある fact9: 「振り抜かない」物はある fact10: あるものは逞しくない fact11: 仮にある物が表示しなくてそれが苦いということはないならばそれは逞しくない fact12: 「診査・観察するということはない」物はある fact13: 仮に「取得し易くない」物はあるとすれば「その各辺は飢え乾くしかつリバーバレー・パートナーズである」ということは成り立たない fact14: 「バランス良くない」ものはある fact15: 逞しい物はある fact16: 逞しくないものは飢え乾くし診査・観察する fact17: なにがしかのものは名付くということはないとすれば「「この小脳は縦覧であるしかつそれは飢え乾く」ということは真実でない」ということは真実だ fact18: 「この小脳は買い整えるし加えてそれは苦い」ということは成り立たない fact19: もし「この小脳は苦くない」ということは事実ならばそれは診査・観察するし加えて逞しい ; $hypothesis$ = 「この小脳は飢え乾くし診査・観察する」ということは本当でない ; $proof$ = 
fact10 & fact4 -> hypothesis; __PROVED__
事実1: もしもあの社会福祉改革が逞しいということはないならばあの小脳は飢え乾くしまた診査・観察する
事実2: 「女装しない」ものはある
事実3: 「診査・観察する」物はある
事実4: もしもなんらかのものは逞しくないならば「この小脳は飢え乾くし診査・観察する」ということは成り立たない
事実5: 「この小脳はせこいしおまけに逞しい」ということは確かでない
事実6: 仮にその六箇月間が第三共和政でないとすればそれは苦くて温かい
事実7: もしもその六箇月間がＥＧＦレセプター過剰発現ＣＨＯ細胞なら第三共和政でなくてかつ貧乏しない
事実8: 「飢え乾かない」物はある
事実9: 「振り抜かない」物はある
事実10: あるものは逞しくない
事実11: 仮にある物が表示しなくてそれが苦いということはないならばそれは逞しくない
事実12: 「診査・観察するということはない」物はある
事実13: 仮に「取得し易くない」物はあるとすれば「その各辺は飢え乾くしかつリバーバレー・パートナーズである」ということは成り立たない
事実14: 「バランス良くない」ものはある
事実15: 逞しい物はある
事実16: 逞しくないものは飢え乾くし診査・観察する
事実17: なにがしかのものは名付くということはないとすれば「「この小脳は縦覧であるしかつそれは飢え乾く」ということは真実でない」ということは真実だ
事実18: 「この小脳は買い整えるし加えてそれは苦い」ということは成り立たない
事実19: もし「この小脳は苦くない」ということは事実ならばそれは診査・観察するし加えて逞しい

仮説: 「この小脳は飢え乾くし診査・観察する」ということは本当でない
1. 事実10と事実4から、仮説が導かれる

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