そのアレキシサイミックは出向かないがしかし御吸い物である
fact1: 「保護す」物はある fact2: もし「出向く」ものがあるとすればこのフローラ様は押し迫らないけど変わり易い fact3: もし「遅し」ものがあるとするとそのアレキシサイミックは機械工でないがしかし告訴権だ fact4: この完全失業者数は地方自治主義でないけど御吸い物だ fact5: もし仮にとあるものが遅しならばそのアレキシサイミックは出向かない一方で御吸い物である fact6: もしある物が群がらないならそれは上げ易い一方で遅しない fact7: 仮にある物が御吸い物であるとすればあのアレキシサイミックは出向かない fact8: もしも何かは遅しないとしたら「出向かないけれど御吸い物だ」ということは嘘だ fact9: そのアレキシサイミックは支配的地位でないけれどそれは頼もしい fact10: もしもある物が細いならそのアレキシサイミックは出向かないけれどそれは聡い fact11: コミュニティケアがあるとしたらそのアレキシサイミックはウエーブファイルでないけれど愛飲する fact12: 「遅し」物はある fact13: 「出向く」ものはある
fact12 & fact5 -> hypothesis;
fact12 & fact5 -> hypothesis;
「そのアレキシサイミックは出向かないけれど御吸い物である」ということは事実であるということはない
fact15 -> int1: 仮にそのアレキシサイミックは遅しないなら「それは出向かないけれど御吸い物である」ということは嘘である; fact14 -> int2: もしもそのアレキシサイミックが群がらないとしたらそれは上げ易い一方で遅しない;
$facts$ = fact1: 「保護す」物はある fact2: もし「出向く」ものがあるとすればこのフローラ様は押し迫らないけど変わり易い fact3: もし「遅し」ものがあるとするとそのアレキシサイミックは機械工でないがしかし告訴権だ fact4: この完全失業者数は地方自治主義でないけど御吸い物だ fact5: もし仮にとあるものが遅しならばそのアレキシサイミックは出向かない一方で御吸い物である fact6: もしある物が群がらないならそれは上げ易い一方で遅しない fact7: 仮にある物が御吸い物であるとすればあのアレキシサイミックは出向かない fact8: もしも何かは遅しないとしたら「出向かないけれど御吸い物だ」ということは嘘だ fact9: そのアレキシサイミックは支配的地位でないけれどそれは頼もしい fact10: もしもある物が細いならそのアレキシサイミックは出向かないけれどそれは聡い fact11: コミュニティケアがあるとしたらそのアレキシサイミックはウエーブファイルでないけれど愛飲する fact12: 「遅し」物はある fact13: 「出向く」ものはある ; $hypothesis$ = そのアレキシサイミックは出向かないがしかし御吸い物である ; $proof$ = 
fact12 & fact5 -> hypothesis; __PROVED__
事実1: 「保護す」物はある
事実2: もし「出向く」ものがあるとすればこのフローラ様は押し迫らないけど変わり易い
事実3: もし「遅し」ものがあるとするとそのアレキシサイミックは機械工でないがしかし告訴権だ
事実4: この完全失業者数は地方自治主義でないけど御吸い物だ
事実5: もし仮にとあるものが遅しならばそのアレキシサイミックは出向かない一方で御吸い物である
事実6: もしある物が群がらないならそれは上げ易い一方で遅しない
事実7: 仮にある物が御吸い物であるとすればあのアレキシサイミックは出向かない
事実8: もしも何かは遅しないとしたら「出向かないけれど御吸い物だ」ということは嘘だ
事実9: そのアレキシサイミックは支配的地位でないけれどそれは頼もしい
事実10: もしもある物が細いならそのアレキシサイミックは出向かないけれどそれは聡い
事実11: コミュニティケアがあるとしたらそのアレキシサイミックはウエーブファイルでないけれど愛飲する
事実12: 「遅し」物はある
事実13: 「出向く」ものはある

仮説: そのアレキシサイミックは出向かないがしかし御吸い物である
1. 事実12と事実5から、仮説が導かれる

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