そのアニマは恙無くないしおまけにそれはバーティゴでない
fact1: 仮に「「その新規本は気兼ねするしそれは受領不能である」ということは真実である」ということは成り立たないなら真っ暗くない fact2: 仮に「あの帰化植物は粟立たない」ということは事実であるならそれは抱え込まない fact3: もしそのアニマが抱え込むということはないなら恙無くないしバーティゴでない fact4: 「その新規本は気兼ねするししかもそれは受領不能だ」ということは嘘である fact5: もし仮にそのアニマがバーティゴでないししかも抱え込まないとすればその荷物番はバーティゴでない fact6: あのサイトカインが通園すればそのアニマはバーティゴでないし抱え込まない fact7: 狭苦しい物は通園しないが空々しい fact8: もしこの産学官連携がブラウンシュガーだとしたらあの雨天時は謝絶する fact9: そのアニマは抱え込むということはない fact10: そのアニマは恙無くない fact11: この正直さは抱え込むということはない fact12: もし仮に「なにかは燦星秘伝だけれど対日感情でない」ということは本当でないとしたらクロックアップする fact13: もし「その父・一徹は宥め賺さない」ということは事実なら「この上皇様が燦星秘伝だけど対日感情であるということはない」ということは成り立たない fact14: もしもなにがしかの物は謝絶するとすれば「選択し易くないしまたそれは宥め賺す」ということは成り立たない fact15: 真っ暗くないものがあるならこの産学官連携はブラウンシュガーである fact16: もしこの上皇様がクロックアップするとすればあの併用薬剤は狭苦しい fact17: 仮にあの併用薬剤が通園しないけど空々しいとしたらあのサイトカインは通園する
fact3 & fact9 -> hypothesis;
その荷物番はバーティゴでない
fact25 -> int1: もしもあの併用薬剤が狭苦しいとしたら通園しないけど空々しい; fact28 -> int2: もしも「この上皇様は燦星秘伝だが対日感情でない」ということは事実と異なるとしたらクロックアップする; fact26 -> int3: もしあの雨天時は謝絶するとすると「それは選択し易くないけれど宥め賺す」ということは確かでない; fact18 & fact23 -> int4: その新規本は真っ暗くない; int4 -> int5: 「真っ暗くない」物はある; int5 & fact24 -> int6: この産学官連携はブラウンシュガーである; fact29 & int6 -> int7: あの雨天時は謝絶する; int3 & int7 -> int8: 「あの雨天時は選択し易くない一方で宥め賺す」ということは嘘だ; int8 -> int9: 「「選択し易くないしかつ宥め賺す」ということは成り立たない」物はある;
$facts$ = fact1: 仮に「「その新規本は気兼ねするしそれは受領不能である」ということは真実である」ということは成り立たないなら真っ暗くない fact2: 仮に「あの帰化植物は粟立たない」ということは事実であるならそれは抱え込まない fact3: もしそのアニマが抱え込むということはないなら恙無くないしバーティゴでない fact4: 「その新規本は気兼ねするししかもそれは受領不能だ」ということは嘘である fact5: もし仮にそのアニマがバーティゴでないししかも抱え込まないとすればその荷物番はバーティゴでない fact6: あのサイトカインが通園すればそのアニマはバーティゴでないし抱え込まない fact7: 狭苦しい物は通園しないが空々しい fact8: もしこの産学官連携がブラウンシュガーだとしたらあの雨天時は謝絶する fact9: そのアニマは抱え込むということはない fact10: そのアニマは恙無くない fact11: この正直さは抱え込むということはない fact12: もし仮に「なにかは燦星秘伝だけれど対日感情でない」ということは本当でないとしたらクロックアップする fact13: もし「その父・一徹は宥め賺さない」ということは事実なら「この上皇様が燦星秘伝だけど対日感情であるということはない」ということは成り立たない fact14: もしもなにがしかの物は謝絶するとすれば「選択し易くないしまたそれは宥め賺す」ということは成り立たない fact15: 真っ暗くないものがあるならこの産学官連携はブラウンシュガーである fact16: もしこの上皇様がクロックアップするとすればあの併用薬剤は狭苦しい fact17: 仮にあの併用薬剤が通園しないけど空々しいとしたらあのサイトカインは通園する ; $hypothesis$ = そのアニマは恙無くないしおまけにそれはバーティゴでない ; $proof$ = 
fact3 & fact9 -> hypothesis; __PROVED__
事実1: 仮に「「その新規本は気兼ねするしそれは受領不能である」ということは真実である」ということは成り立たないなら真っ暗くない
事実2: 仮に「あの帰化植物は粟立たない」ということは事実であるならそれは抱え込まない
事実3: もしそのアニマが抱え込むということはないなら恙無くないしバーティゴでない
事実4: 「その新規本は気兼ねするししかもそれは受領不能だ」ということは嘘である
事実5: もし仮にそのアニマがバーティゴでないししかも抱え込まないとすればその荷物番はバーティゴでない
事実6: あのサイトカインが通園すればそのアニマはバーティゴでないし抱え込まない
事実7: 狭苦しい物は通園しないが空々しい
事実8: もしこの産学官連携がブラウンシュガーだとしたらあの雨天時は謝絶する
事実9: そのアニマは抱え込むということはない
事実10: そのアニマは恙無くない
事実11: この正直さは抱え込むということはない
事実12: もし仮に「なにかは燦星秘伝だけれど対日感情でない」ということは本当でないとしたらクロックアップする
事実13: もし「その父・一徹は宥め賺さない」ということは事実なら「この上皇様が燦星秘伝だけど対日感情であるということはない」ということは成り立たない
事実14: もしもなにがしかの物は謝絶するとすれば「選択し易くないしまたそれは宥め賺す」ということは成り立たない
事実15: 真っ暗くないものがあるならこの産学官連携はブラウンシュガーである
事実16: もしこの上皇様がクロックアップするとすればあの併用薬剤は狭苦しい
事実17: 仮にあの併用薬剤が通園しないけど空々しいとしたらあのサイトカインは通園する

仮説: そのアニマは恙無くないしおまけにそれはバーティゴでない
1. 事実3と事実9から、仮説が導かれる

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