この土・日は排泄器官である
fact1: 「「新しないし賛美する」ということは間違いな」物はある fact2: もし仮にそのメリケン粉は自然らしくないなら「その外科手術は流され易くないし薔薇園でない」ということは成り立たない fact3: もし仮に「その実情は勘違いし易いということはないか馬鹿でかくない」ということは成り立たないとするとこの国立保健医療科学院はモデル化しない fact4: もし仮に「なにかは仰天するし取っ付き易い」ということは成り立たないとすればそれは仰天しない fact5: 仮に「「「宜しがしかし古臭いということはない」ということは真実だ」ということは成り立たない」ものがあればそのメリケン粉は自然らしくない fact6: もし「「流され易くないし更に薔薇園だということはない」ということは成り立たない」ものがあるとすればあの養戸主は御過ごし下さらない fact7: もしもなんらかの物が賛美すればこの土・日は排泄器官である fact8: 「「新し物でありその上賛美しない」ということは事実でない」ものはある fact9: 「新しないし賛美しない」ものはある fact10: 「「新しということはなくてしかも賛美しない」ということは間違っている」ものがあるとするとこの土・日は排泄器官である fact11: もしもある物はモデル化しないとすると「仰天するし取っ付き易い」ということは嘘だ fact12: 「この組み替えは新しないしその上賛美しない」ということは成り立たない fact13: 「「「宜ししまた古臭いということはない」ということは確かである」ということは嘘な」ものはある fact14: もしもあの養戸主は御過ごし下さらないとしたら「その実情は勘違いし易いということはないか馬鹿でかいということはないかもしくは両方ともである」ということは嘘である
fact12 -> int1: 「「「新しないし賛美しない」ということは成り立つ」ということは間違いである」ものはある; int1 & fact10 -> hypothesis;
fact12 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact10 -> hypothesis;
この土・日は排泄器官だということはない
fact15 -> int2: もし仮に「この国立保健医療科学院は仰天するしさらに取っ付き易い」ということは成り立たないとすれば仰天しない; fact17 -> int3: 仮にこの国立保健医療科学院はモデル化しないとすると「それは仰天するしかつ取っ付き易い」ということは事実でない; fact22 & fact19 -> int4: 「そのメリケン粉は自然らしくない」ということは確かだ; fact20 & int4 -> int5: 「その外科手術は流され易くないしまたそれは薔薇園でない」ということは間違っている; int5 -> int6: 「「流され易くないしまた薔薇園でない」ということは成り立たない」物はある; int6 & fact21 -> int7: 「あの養戸主は御過ごし下さる」ということは間違っている; fact18 & int7 -> int8: 「その実情は勘違いし易くないかまたは馬鹿でかくないかまたは両方ともだ」ということは誤りだ; fact16 & int8 -> int9: この国立保健医療科学院はモデル化しない; int3 & int9 -> int10: 「「この国立保健医療科学院は仰天するし加えて取っ付き易い」ということは偽だ」ということは偽でない; int2 & int10 -> int11: この国立保健医療科学院は仰天しない; int11 -> int12: 「仰天しない」ものはある;
$facts$ = fact1: 「「新しないし賛美する」ということは間違いな」物はある fact2: もし仮にそのメリケン粉は自然らしくないなら「その外科手術は流され易くないし薔薇園でない」ということは成り立たない fact3: もし仮に「その実情は勘違いし易いということはないか馬鹿でかくない」ということは成り立たないとするとこの国立保健医療科学院はモデル化しない fact4: もし仮に「なにかは仰天するし取っ付き易い」ということは成り立たないとすればそれは仰天しない fact5: 仮に「「「宜しがしかし古臭いということはない」ということは真実だ」ということは成り立たない」ものがあればそのメリケン粉は自然らしくない fact6: もし「「流され易くないし更に薔薇園だということはない」ということは成り立たない」ものがあるとすればあの養戸主は御過ごし下さらない fact7: もしもなんらかの物が賛美すればこの土・日は排泄器官である fact8: 「「新し物でありその上賛美しない」ということは事実でない」ものはある fact9: 「新しないし賛美しない」ものはある fact10: 「「新しということはなくてしかも賛美しない」ということは間違っている」ものがあるとするとこの土・日は排泄器官である fact11: もしもある物はモデル化しないとすると「仰天するし取っ付き易い」ということは嘘だ fact12: 「この組み替えは新しないしその上賛美しない」ということは成り立たない fact13: 「「「宜ししまた古臭いということはない」ということは確かである」ということは嘘な」ものはある fact14: もしもあの養戸主は御過ごし下さらないとしたら「その実情は勘違いし易いということはないか馬鹿でかいということはないかもしくは両方ともである」ということは嘘である ; $hypothesis$ = この土・日は排泄器官である ; $proof$ = 
fact12 -> int1: 「「「新しないし賛美しない」ということは成り立つ」ということは間違いである」ものはある; int1 & fact10 -> hypothesis; __PROVED__
事実1: 「「新しないし賛美する」ということは間違いな」物はある
事実2: もし仮にそのメリケン粉は自然らしくないなら「その外科手術は流され易くないし薔薇園でない」ということは成り立たない
事実3: もし仮に「その実情は勘違いし易いということはないか馬鹿でかくない」ということは成り立たないとするとこの国立保健医療科学院はモデル化しない
事実4: もし仮に「なにかは仰天するし取っ付き易い」ということは成り立たないとすればそれは仰天しない
事実5: 仮に「「「宜しがしかし古臭いということはない」ということは真実だ」ということは成り立たない」ものがあればそのメリケン粉は自然らしくない
事実6: もし「「流され易くないし更に薔薇園だということはない」ということは成り立たない」ものがあるとすればあの養戸主は御過ごし下さらない
事実7: もしもなんらかの物が賛美すればこの土・日は排泄器官である
事実8: 「「新し物でありその上賛美しない」ということは事実でない」ものはある
事実9: 「新しないし賛美しない」ものはある
事実10: 「「新しということはなくてしかも賛美しない」ということは間違っている」ものがあるとするとこの土・日は排泄器官である
事実11: もしもある物はモデル化しないとすると「仰天するし取っ付き易い」ということは嘘だ
事実12: 「この組み替えは新しないしその上賛美しない」ということは成り立たない
事実13: 「「「宜ししまた古臭いということはない」ということは確かである」ということは嘘な」ものはある
事実14: もしもあの養戸主は御過ごし下さらないとしたら「その実情は勘違いし易いということはないか馬鹿でかいということはないかもしくは両方ともである」ということは嘘である

仮説: この土・日は排泄器官である
1. 事実12から、推論1: "「「「新しないし賛美しない」ということは成り立つ」ということは間違いである」ものはある"が導かれる
2. 推論1と事実10から、仮説が導かれる

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