「この下流は憲法発布であるかあるいは頂けるということはない」ということは成り立たない
fact1: この悪念は抱き返さない fact2: この下流は現代日本語であるしその上男の子らしい fact3: この悪念は抱き返すかもしくは憲法発布であるかまたは両方ともである fact4: 仮にこの悪念が抱き返すということはないとすればこの下流は憲法発布であるかまたは頂けないかあるいはどちらもである fact5: 仮に「この下流は頂けるということはない」ということは成り立てばこの悪念は抱き返すか憲法発布でない fact6: もしもこの悪念が抱き返さないとすればこの下流は憲法発布であるかそれは頂けるかまたは両方ともだ fact7: もし仮に何らかのものはＴＥＡであるならそれは比較し得る fact8: その胸筋は抱き返さない fact9: 「「「比較し得る」ということは事実な」ものがあるとすればこの家職は抱き返さない」ということは確かだ fact10: 何らかのものは抱き返さないとしたら「それはＧＲＰであるかまたは御持て成ししないかまたはどちらもだ」ということは真実だ fact11: すべてのものは男の子らしい fact12: もしもとある物は比較し得るとすると「抱き返す」ということは誤りでない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
この家職はＧＲＰであるかまたは御持て成ししないかもしくは両方ともだ
fact14 -> int1: もしもこの家職は抱き返さないとすると「それはＧＲＰであるかもしくはそれは御持て成ししない」ということは本当である; fact15 -> int2: この下流は男の子らしい; int2 -> int3: なんらかのものは男の子らしい;
$facts$ = fact1: この悪念は抱き返さない fact2: この下流は現代日本語であるしその上男の子らしい fact3: この悪念は抱き返すかもしくは憲法発布であるかまたは両方ともである fact4: 仮にこの悪念が抱き返すということはないとすればこの下流は憲法発布であるかまたは頂けないかあるいはどちらもである fact5: 仮に「この下流は頂けるということはない」ということは成り立てばこの悪念は抱き返すか憲法発布でない fact6: もしもこの悪念が抱き返さないとすればこの下流は憲法発布であるかそれは頂けるかまたは両方ともだ fact7: もし仮に何らかのものはＴＥＡであるならそれは比較し得る fact8: その胸筋は抱き返さない fact9: 「「「比較し得る」ということは事実な」ものがあるとすればこの家職は抱き返さない」ということは確かだ fact10: 何らかのものは抱き返さないとしたら「それはＧＲＰであるかまたは御持て成ししないかまたはどちらもだ」ということは真実だ fact11: すべてのものは男の子らしい fact12: もしもとある物は比較し得るとすると「抱き返す」ということは誤りでない ; $hypothesis$ = 「この下流は憲法発布であるかあるいは頂けるということはない」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: この悪念は抱き返さない
事実2: この下流は現代日本語であるしその上男の子らしい
事実3: この悪念は抱き返すかもしくは憲法発布であるかまたは両方ともである
事実4: 仮にこの悪念が抱き返すということはないとすればこの下流は憲法発布であるかまたは頂けないかあるいはどちらもである
事実5: 仮に「この下流は頂けるということはない」ということは成り立てばこの悪念は抱き返すか憲法発布でない
事実6: もしもこの悪念が抱き返さないとすればこの下流は憲法発布であるかそれは頂けるかまたは両方ともだ
事実7: もし仮に何らかのものはＴＥＡであるならそれは比較し得る
事実8: その胸筋は抱き返さない
事実9: 「「「比較し得る」ということは事実な」ものがあるとすればこの家職は抱き返さない」ということは確かだ
事実10: 何らかのものは抱き返さないとしたら「それはＧＲＰであるかまたは御持て成ししないかまたはどちらもだ」ということは真実だ
事実11: すべてのものは男の子らしい
事実12: もしもとある物は比較し得るとすると「抱き返す」ということは誤りでない

仮説: 「この下流は憲法発布であるかあるいは頂けるということはない」ということは成り立たない
1. 事実4と事実1から、仮説が否定される

よって、仮説が否定されました。