「あの催眠法は血腥い」ということは真実だ
fact1: 「この家屋は喋り難いということはないけれど節減する」ということは偽でないならそれはコミック版である fact2: この備え付けはコミック版だ fact3: 「この家屋は喋り難くなくてその上節減するない」ということは真実である fact4: もしも何かはキー入力するなら「アモルファス相である」ということは成り立つ fact5: この備え付けが切れ上がるとするとあの催眠法は血腥い fact6: あの催眠法はコミック版である fact7: もしもこの備え付けがキー入力するということはないとするとこの家屋はアモルファス相でない fact8: アモルファス相は切れ上がらないしおまけにコミック版でない fact9: もしある物は再生産過程でないとすると経塀君であるし加えて換装する fact10: もしこの家屋がコミック版であるとするとこの備え付けは切れ上がる fact11: 仮にこの家屋が独立・開業するとすると出し切れる fact12: この家屋は淀むがしかし大人しいということはない fact13: 仮にある物は出し切れるとすれば「再生産過程だということはない」ということは成り立つ fact14: もし仮にこの家屋が喋り難くないししかも節減しないならそれはコミック版である fact15: この備え付けは喋り難い fact16: この家屋は淀むけれど大人しくないとすれば独立・開業する fact17: もし仮になにかは切れ上がらないしコミック版でないならばそれは血腥くない fact18: この家屋は節減しない fact19: もしもなにがしかのものはジャイアントでないならキー入力するしまた喧しい fact20: もしも「この家屋は切れ上がらない一方でそれはコミック版である」ということは誤っているとしたらあの催眠法は血腥くない
fact14 & fact3 -> int1: この家屋はコミック版だ; int1 & fact10 -> int2: この備え付けは切れ上がる; int2 & fact5 -> hypothesis;
「あの催眠法は血腥くない」ということは事実だ
fact26 -> int3: もし仮にあの催眠法が切れ上がらなくてかつコミック版でないならば血腥くない; fact23 -> int4: もしもあの催眠法がアモルファス相であるとしたらそれは切れ上がらなくてコミック版でない; fact28 -> int5: 仮にあの催眠法がキー入力するとしたらそれはアモルファス相だ; fact22 -> int6: もしもあの催眠法はジャイアントでないならキー入力するしそれに喧しい; fact25 -> int7: 仮にこの家屋は再生産過程でないとしたら経塀君であるし更に換装する; fact27 -> int8: もしこの家屋が出し切れるとすれば再生産過程でない; fact21 & fact24 -> int9: この家屋は独立・開業する; fact29 & int9 -> int10: 「この家屋は出し切れる」ということは成り立つ; int8 & int10 -> int11: この家屋は再生産過程でない; int7 & int11 -> int12: この家屋は経塀君であるしさらに換装する; int12 -> int13: 「経塀君だしその上換装する」ものはある;
$facts$ = fact1: 「この家屋は喋り難いということはないけれど節減する」ということは偽でないならそれはコミック版である fact2: この備え付けはコミック版だ fact3: 「この家屋は喋り難くなくてその上節減するない」ということは真実である fact4: もしも何かはキー入力するなら「アモルファス相である」ということは成り立つ fact5: この備え付けが切れ上がるとするとあの催眠法は血腥い fact6: あの催眠法はコミック版である fact7: もしもこの備え付けがキー入力するということはないとするとこの家屋はアモルファス相でない fact8: アモルファス相は切れ上がらないしおまけにコミック版でない fact9: もしある物は再生産過程でないとすると経塀君であるし加えて換装する fact10: もしこの家屋がコミック版であるとするとこの備え付けは切れ上がる fact11: 仮にこの家屋が独立・開業するとすると出し切れる fact12: この家屋は淀むがしかし大人しいということはない fact13: 仮にある物は出し切れるとすれば「再生産過程だということはない」ということは成り立つ fact14: もし仮にこの家屋が喋り難くないししかも節減しないならそれはコミック版である fact15: この備え付けは喋り難い fact16: この家屋は淀むけれど大人しくないとすれば独立・開業する fact17: もし仮になにかは切れ上がらないしコミック版でないならばそれは血腥くない fact18: この家屋は節減しない fact19: もしもなにがしかのものはジャイアントでないならキー入力するしまた喧しい fact20: もしも「この家屋は切れ上がらない一方でそれはコミック版である」ということは誤っているとしたらあの催眠法は血腥くない ; $hypothesis$ = 「あの催眠法は血腥い」ということは真実だ ; $proof$ = 
fact14 & fact3 -> int1: この家屋はコミック版だ; int1 & fact10 -> int2: この備え付けは切れ上がる; int2 & fact5 -> hypothesis; __PROVED__
事実1: 「この家屋は喋り難いということはないけれど節減する」ということは偽でないならそれはコミック版である
事実2: この備え付けはコミック版だ
事実3: 「この家屋は喋り難くなくてその上節減するない」ということは真実である
事実4: もしも何かはキー入力するなら「アモルファス相である」ということは成り立つ
事実5: この備え付けが切れ上がるとするとあの催眠法は血腥い
事実6: あの催眠法はコミック版である
事実7: もしもこの備え付けがキー入力するということはないとするとこの家屋はアモルファス相でない
事実8: アモルファス相は切れ上がらないしおまけにコミック版でない
事実9: もしある物は再生産過程でないとすると経塀君であるし加えて換装する
事実10: もしこの家屋がコミック版であるとするとこの備え付けは切れ上がる
事実11: 仮にこの家屋が独立・開業するとすると出し切れる
事実12: この家屋は淀むがしかし大人しいということはない
事実13: 仮にある物は出し切れるとすれば「再生産過程だということはない」ということは成り立つ
事実14: もし仮にこの家屋が喋り難くないししかも節減しないならそれはコミック版である
事実15: この備え付けは喋り難い
事実16: この家屋は淀むけれど大人しくないとすれば独立・開業する
事実17: もし仮になにかは切れ上がらないしコミック版でないならばそれは血腥くない
事実18: この家屋は節減しない
事実19: もしもなにがしかのものはジャイアントでないならキー入力するしまた喧しい
事実20: もしも「この家屋は切れ上がらない一方でそれはコミック版である」ということは誤っているとしたらあの催眠法は血腥くない

仮説: 「あの催眠法は血腥い」ということは真実だ
1. 事実14と事実3から、推論1: "この家屋はコミック版だ"が導かれる
2. 推論1と事実10から、推論2: "この備え付けは切れ上がる"が導かれる
3. 推論2と事実5から、仮説が導かれる

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