「その追加報酬は変わり易くないかもしくはもどかしいかまたはどちらもである」ということは事実と異なる
fact1: 仮にその追加報酬が代位弁済すれば娘らしい fact2: アニマが代位弁済するとしたら変わり易くない fact3: もしもその先行き不安がアニマでないとすればあの追加報酬は確からしくないし胚でない fact4: 「その追加報酬は痒くないかあるいはそれは特進するかまたは両方だ」ということは間違いである fact5: あの常傭量はアニマだ fact6: 「その追加報酬は扱い難いということはないかあるいはそれはアニマだ」ということは事実と異なる fact7: その先行き不安は代位弁済する fact8: もし「その剣芸はマスターするけれど説示しない」ということは正しくないとしたら「それは説示する」ということは成り立つ fact9: もし年金資産が無いならば平たくない fact10: もしもなにかはアニマならば変わり易いということはないかもしくはそれはもどかしいか両方ともだ fact11: その先行き不安はマスターする fact12: 仮にその先行き不安が娘らしくないとしたらその追加報酬がアニマだしそれは代位弁済する fact13: 仮にその追加報酬はマスターしないなら「それは変わり易くないかもしくはもどかしいかまたはどちらもである」ということは成り立たない fact14: もしもその追加報酬がマスターしないとしたら変わり易い fact15: この接頭語はもどかしい fact16: その先行き不安はアニマでない fact17: もし痒い物が膨らみ切るとすればそれはシリアル化しない fact18: 仮になにがしかのものが娘らしいしかつそれが説示するとするとマスターしない fact19: もしもその追加報酬は確からしくないし胚でないなら代位弁済する fact20: 仮にその追加報酬が確からしくない一方でそれは胚であるとしたらそれは代位弁済する fact21: その追加報酬は変わり易い fact22: もし仮に変わり易いものは胚であるとしたらそれはアニマでない fact23: あの指令者は説示する fact24: その追加報酬が確からしいがしかし胚でないなら「それは代位弁済する」ということは成り立つ fact25: その追加報酬は説示する
fact3 & fact16 -> int1: その追加報酬は確からしくないししかも胚であるということはない; int1 & fact19 -> int2: その追加報酬は代位弁済する; int2 & fact1 -> int3: その追加報酬は娘らしい; int3 & fact25 -> int4: その追加報酬が娘らしいしその上それは説示する; fact18 -> int5: 仮にその追加報酬は娘らしいし加えて説示するとしたらマスターしない; int4 & int5 -> int6: その追加報酬はマスターしない; int6 & fact13 -> hypothesis;
その追加報酬は変わり易くないかもしくはそれはもどかしいかどちらもである
fact26 -> int7: もしもその追加報酬がアニマならばそれは変わり易くないかもどかしいかあるいは両方である;
$facts$ = fact1: 仮にその追加報酬が代位弁済すれば娘らしい fact2: アニマが代位弁済するとしたら変わり易くない fact3: もしもその先行き不安がアニマでないとすればあの追加報酬は確からしくないし胚でない fact4: 「その追加報酬は痒くないかあるいはそれは特進するかまたは両方だ」ということは間違いである fact5: あの常傭量はアニマだ fact6: 「その追加報酬は扱い難いということはないかあるいはそれはアニマだ」ということは事実と異なる fact7: その先行き不安は代位弁済する fact8: もし「その剣芸はマスターするけれど説示しない」ということは正しくないとしたら「それは説示する」ということは成り立つ fact9: もし年金資産が無いならば平たくない fact10: もしもなにかはアニマならば変わり易いということはないかもしくはそれはもどかしいか両方ともだ fact11: その先行き不安はマスターする fact12: 仮にその先行き不安が娘らしくないとしたらその追加報酬がアニマだしそれは代位弁済する fact13: 仮にその追加報酬はマスターしないなら「それは変わり易くないかもしくはもどかしいかまたはどちらもである」ということは成り立たない fact14: もしもその追加報酬がマスターしないとしたら変わり易い fact15: この接頭語はもどかしい fact16: その先行き不安はアニマでない fact17: もし痒い物が膨らみ切るとすればそれはシリアル化しない fact18: 仮になにがしかのものが娘らしいしかつそれが説示するとするとマスターしない fact19: もしもその追加報酬は確からしくないし胚でないなら代位弁済する fact20: 仮にその追加報酬が確からしくない一方でそれは胚であるとしたらそれは代位弁済する fact21: その追加報酬は変わり易い fact22: もし仮に変わり易いものは胚であるとしたらそれはアニマでない fact23: あの指令者は説示する fact24: その追加報酬が確からしいがしかし胚でないなら「それは代位弁済する」ということは成り立つ fact25: その追加報酬は説示する ; $hypothesis$ = 「その追加報酬は変わり易くないかもしくはもどかしいかまたはどちらもである」ということは事実と異なる ; $proof$ = 
fact3 & fact16 -> int1: その追加報酬は確からしくないししかも胚であるということはない; int1 & fact19 -> int2: その追加報酬は代位弁済する; int2 & fact1 -> int3: その追加報酬は娘らしい; int3 & fact25 -> int4: その追加報酬が娘らしいしその上それは説示する; fact18 -> int5: 仮にその追加報酬は娘らしいし加えて説示するとしたらマスターしない; int4 & int5 -> int6: その追加報酬はマスターしない; int6 & fact13 -> hypothesis; __PROVED__
事実1: 仮にその追加報酬が代位弁済すれば娘らしい
事実2: アニマが代位弁済するとしたら変わり易くない
事実3: もしもその先行き不安がアニマでないとすればあの追加報酬は確からしくないし胚でない
事実4: 「その追加報酬は痒くないかあるいはそれは特進するかまたは両方だ」ということは間違いである
事実5: あの常傭量はアニマだ
事実6: 「その追加報酬は扱い難いということはないかあるいはそれはアニマだ」ということは事実と異なる
事実7: その先行き不安は代位弁済する
事実8: もし「その剣芸はマスターするけれど説示しない」ということは正しくないとしたら「それは説示する」ということは成り立つ
事実9: もし年金資産が無いならば平たくない
事実10: もしもなにかはアニマならば変わり易いということはないかもしくはそれはもどかしいか両方ともだ
事実11: その先行き不安はマスターする
事実12: 仮にその先行き不安が娘らしくないとしたらその追加報酬がアニマだしそれは代位弁済する
事実13: 仮にその追加報酬はマスターしないなら「それは変わり易くないかもしくはもどかしいかまたはどちらもである」ということは成り立たない
事実14: もしもその追加報酬がマスターしないとしたら変わり易い
事実15: この接頭語はもどかしい
事実16: その先行き不安はアニマでない
事実17: もし痒い物が膨らみ切るとすればそれはシリアル化しない
事実18: 仮になにがしかのものが娘らしいしかつそれが説示するとするとマスターしない
事実19: もしもその追加報酬は確からしくないし胚でないなら代位弁済する
事実20: 仮にその追加報酬が確からしくない一方でそれは胚であるとしたらそれは代位弁済する
事実21: その追加報酬は変わり易い
事実22: もし仮に変わり易いものは胚であるとしたらそれはアニマでない
事実23: あの指令者は説示する
事実24: その追加報酬が確からしいがしかし胚でないなら「それは代位弁済する」ということは成り立つ
事実25: その追加報酬は説示する

仮説: 「その追加報酬は変わり易くないかもしくはもどかしいかまたはどちらもである」ということは事実と異なる
1. 事実3と事実16から、推論1: "その追加報酬は確からしくないししかも胚であるということはない"が導かれる
2. 推論1と事実19から、推論2: "その追加報酬は代位弁済する"が導かれる
3. 推論2と事実1から、推論3: "その追加報酬は娘らしい"が導かれる
4. 推論3と事実25から、推論4: "その追加報酬が娘らしいしその上それは説示する"が導かれる
5. 事実18から、推論5: "仮にその追加報酬は娘らしいし加えて説示するとしたらマスターしない"が導かれる
6. 推論4と推論5から、推論6: "その追加報酬はマスターしない"が導かれる
7. 推論6と事実13から、仮説が導かれる

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