「この審議中は伸び上がらないししかも倍増するということはない」ということは嘘である
fact1: もしこの審議中が庇い合うとしたらあの護摩壇は庇い合うということはないしそれは伸び上がらない fact2: あの護摩壇は頑是無い fact3: もし「何かは伸び上がる」ということは真実であるとしたらあの護摩壇は倍増するし頑是無い fact4: この審議中はさ取りだ fact5: 「「描き易い」ということは真実な」物はある fact6: もし仮に「「逞しい」ということは正しい」物があるならばあの護摩壇は頑是無い fact7: 「庇い合う」物があるならばあの護摩壇は頑是無くてさらに倍増する fact8: もし何らかの物が伸び上がるとするとあの護摩壇は庇い合うしおまけに倍増する fact9: この審議中は伸び上がらない fact10: あの護摩壇が伸び上がるとしたらこの審議中は伸び上がらない fact11: 仮にあの護摩壇は伸び上がるとすると「この審議中は伸び上がらなくてしかもそれは頑是無くない」ということは確かである fact12: もしあの護摩壇は庇い合うとすると「伸び上がる」ということは成り立つ fact13: 「逞しい」物はある fact14: もし「逞しい」物があるとしたらあの護摩壇は庇い合うし頑是無い fact15: 何らかの物は頑是無い fact16: とある物は逞しいなら「伸び上がらないしそれに倍増しない」ということは誤っている fact17: 仮にあの護摩壇が伸び上がるとすればこの審議中は伸び上がらないし倍増しない
fact13 & fact14 -> int1: あの護摩壇は庇い合うしそれは頑是無い; int1 -> int2: あの護摩壇は庇い合う; int2 & fact12 -> int3: あの護摩壇は伸び上がる; int3 & fact17 -> hypothesis;
「この審議中が伸び上がらないしさらに倍増しない」ということは事実でない
fact18 -> int4: もしもこの審議中は逞しいならば「伸び上がらないし倍増しない」ということは成り立たない;
$facts$ = fact1: もしこの審議中が庇い合うとしたらあの護摩壇は庇い合うということはないしそれは伸び上がらない fact2: あの護摩壇は頑是無い fact3: もし「何かは伸び上がる」ということは真実であるとしたらあの護摩壇は倍増するし頑是無い fact4: この審議中はさ取りだ fact5: 「「描き易い」ということは真実な」物はある fact6: もし仮に「「逞しい」ということは正しい」物があるならばあの護摩壇は頑是無い fact7: 「庇い合う」物があるならばあの護摩壇は頑是無くてさらに倍増する fact8: もし何らかの物が伸び上がるとするとあの護摩壇は庇い合うしおまけに倍増する fact9: この審議中は伸び上がらない fact10: あの護摩壇が伸び上がるとしたらこの審議中は伸び上がらない fact11: 仮にあの護摩壇は伸び上がるとすると「この審議中は伸び上がらなくてしかもそれは頑是無くない」ということは確かである fact12: もしあの護摩壇は庇い合うとすると「伸び上がる」ということは成り立つ fact13: 「逞しい」物はある fact14: もし「逞しい」物があるとしたらあの護摩壇は庇い合うし頑是無い fact15: 何らかの物は頑是無い fact16: とある物は逞しいなら「伸び上がらないしそれに倍増しない」ということは誤っている fact17: 仮にあの護摩壇が伸び上がるとすればこの審議中は伸び上がらないし倍増しない ; $hypothesis$ = 「この審議中は伸び上がらないししかも倍増するということはない」ということは嘘である ; $proof$ = 
fact13 & fact14 -> int1: あの護摩壇は庇い合うしそれは頑是無い; int1 -> int2: あの護摩壇は庇い合う; int2 & fact12 -> int3: あの護摩壇は伸び上がる; int3 & fact17 -> hypothesis; __DISPROVED__
事実1: もしこの審議中が庇い合うとしたらあの護摩壇は庇い合うということはないしそれは伸び上がらない
事実2: あの護摩壇は頑是無い
事実3: もし「何かは伸び上がる」ということは真実であるとしたらあの護摩壇は倍増するし頑是無い
事実4: この審議中はさ取りだ
事実5: 「「描き易い」ということは真実な」物はある
事実6: もし仮に「「逞しい」ということは正しい」物があるならばあの護摩壇は頑是無い
事実7: 「庇い合う」物があるならばあの護摩壇は頑是無くてさらに倍増する
事実8: もし何らかの物が伸び上がるとするとあの護摩壇は庇い合うしおまけに倍増する
事実9: この審議中は伸び上がらない
事実10: あの護摩壇が伸び上がるとしたらこの審議中は伸び上がらない
事実11: 仮にあの護摩壇は伸び上がるとすると「この審議中は伸び上がらなくてしかもそれは頑是無くない」ということは確かである
事実12: もしあの護摩壇は庇い合うとすると「伸び上がる」ということは成り立つ
事実13: 「逞しい」物はある
事実14: もし「逞しい」物があるとしたらあの護摩壇は庇い合うし頑是無い
事実15: 何らかの物は頑是無い
事実16: とある物は逞しいなら「伸び上がらないしそれに倍増しない」ということは誤っている
事実17: 仮にあの護摩壇が伸び上がるとすればこの審議中は伸び上がらないし倍増しない

仮説: 「この審議中は伸び上がらないししかも倍増するということはない」ということは嘘である
1. 事実13と事実14から、推論1: "あの護摩壇は庇い合うしそれは頑是無い"が導かれる
2. 推論1から、推論2: "あの護摩壇は庇い合う"が導かれる
3. 推論2と事実12から、推論3: "あの護摩壇は伸び上がる"が導かれる
4. 推論3と事実17から、仮説が否定される

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