あの来客用は当て付けがましい
fact1: 図太い物は微笑ましいがしかし当て付けがましかない fact2: 仮にこの化学的変化は脳圧昂進でないとしたら「この培養温度は移動し易くないし更に脳圧昂進でない」ということは成り立つということはない fact3: 仮にその心臓神経症が微笑ましいとすればそれは図太い fact4: あの本線上はオーケーする fact5: 「この化学的変化は九時前である」ということは確かである fact6: その心臓神経症は微笑ましい fact7: もしも「この培養温度は移動し易くないし脳圧昂進でない」ということは成り立たないならあの来客用は当て付けがましい fact8: このＢＡＳＩＣは罹患し易い fact9: 罹患し易くないしさらに除名するということはないという物はない fact10: 「この化学的変化は生き易い」ということは間違いでない fact11: もしこの培養温度が図太いとすればあの心臓神経症は脳圧昂進だ fact12: もし仮になにがしかのものがオーケーすれば九時前である fact13: 仮にあの本線上が罹患し易くないならばこの化学的変化は脳圧昂進でない fact14: 何らかの物は除名するし更に九時前だとすれば罹患し易いということはない fact15: この理論化はオーケーする fact16: その心臓神経症が図太いならあの本線上は除名する fact17: もしもその心臓神経症はオーケーするし図太いとしたら微笑ましかない fact18: 仮に「「罹患し易くないしその上除名しない」ということは間違っている」ものがあるとするとその心臓神経症は除名する fact19: もし仮になにがしかの物が移動し易いとすればオーケーする
fact3 & fact6 -> int1: その心臓神経症は図太い; int1 & fact16 -> int2: あの本線上は除名する; fact12 -> int3: もしもあの本線上がオーケーするとするとそれは九時前である; fact4 & int3 -> int4: あの本線上は九時前である; int2 & int4 -> int5: あの本線上は除名するしおまけに九時前だ; fact14 -> int6: あの本線上が除名するし更に九時前であるとしたらそれは罹患し易くない; int5 & int6 -> int7: 「あの本線上は罹患し易いということはない」ということは成り立つ; int7 & fact13 -> int8: 「この化学的変化は脳圧昂進でない」ということは本当である; int8 & fact2 -> int9: 「この培養温度は移動し易くないし加えてそれは脳圧昂進でない」ということは成り立たない; int9 & fact7 -> hypothesis;
あの来客用は当て付けがましかない
fact21 -> int10: もしもあの来客用が図太いならばそれは微笑ましいが当て付けがましかない; fact22 -> int11: 「あの本線上は罹患し易いということはなくてしかも除名するということはない」ということは成り立たない; int11 -> int12: 「「罹患し易いということはなくて除名しない」ということは誤っている」物はある; int12 & fact20 -> int13: その心臓神経症は除名する; int13 -> int14: なんらかの物は除名する;
$facts$ = fact1: 図太い物は微笑ましいがしかし当て付けがましかない fact2: 仮にこの化学的変化は脳圧昂進でないとしたら「この培養温度は移動し易くないし更に脳圧昂進でない」ということは成り立つということはない fact3: 仮にその心臓神経症が微笑ましいとすればそれは図太い fact4: あの本線上はオーケーする fact5: 「この化学的変化は九時前である」ということは確かである fact6: その心臓神経症は微笑ましい fact7: もしも「この培養温度は移動し易くないし脳圧昂進でない」ということは成り立たないならあの来客用は当て付けがましい fact8: このＢＡＳＩＣは罹患し易い fact9: 罹患し易くないしさらに除名するということはないという物はない fact10: 「この化学的変化は生き易い」ということは間違いでない fact11: もしこの培養温度が図太いとすればあの心臓神経症は脳圧昂進だ fact12: もし仮になにがしかのものがオーケーすれば九時前である fact13: 仮にあの本線上が罹患し易くないならばこの化学的変化は脳圧昂進でない fact14: 何らかの物は除名するし更に九時前だとすれば罹患し易いということはない fact15: この理論化はオーケーする fact16: その心臓神経症が図太いならあの本線上は除名する fact17: もしもその心臓神経症はオーケーするし図太いとしたら微笑ましかない fact18: 仮に「「罹患し易くないしその上除名しない」ということは間違っている」ものがあるとするとその心臓神経症は除名する fact19: もし仮になにがしかの物が移動し易いとすればオーケーする ; $hypothesis$ = あの来客用は当て付けがましい ; $proof$ = 
fact3 & fact6 -> int1: その心臓神経症は図太い; int1 & fact16 -> int2: あの本線上は除名する; fact12 -> int3: もしもあの本線上がオーケーするとするとそれは九時前である; fact4 & int3 -> int4: あの本線上は九時前である; int2 & int4 -> int5: あの本線上は除名するしおまけに九時前だ; fact14 -> int6: あの本線上が除名するし更に九時前であるとしたらそれは罹患し易くない; int5 & int6 -> int7: 「あの本線上は罹患し易いということはない」ということは成り立つ; int7 & fact13 -> int8: 「この化学的変化は脳圧昂進でない」ということは本当である; int8 & fact2 -> int9: 「この培養温度は移動し易くないし加えてそれは脳圧昂進でない」ということは成り立たない; int9 & fact7 -> hypothesis; __PROVED__
事実1: 図太い物は微笑ましいがしかし当て付けがましかない
事実2: 仮にこの化学的変化は脳圧昂進でないとしたら「この培養温度は移動し易くないし更に脳圧昂進でない」ということは成り立つということはない
事実3: 仮にその心臓神経症が微笑ましいとすればそれは図太い
事実4: あの本線上はオーケーする
事実5: 「この化学的変化は九時前である」ということは確かである
事実6: その心臓神経症は微笑ましい
事実7: もしも「この培養温度は移動し易くないし脳圧昂進でない」ということは成り立たないならあの来客用は当て付けがましい
事実8: このＢＡＳＩＣは罹患し易い
事実9: 罹患し易くないしさらに除名するということはないという物はない
事実10: 「この化学的変化は生き易い」ということは間違いでない
事実11: もしこの培養温度が図太いとすればあの心臓神経症は脳圧昂進だ
事実12: もし仮になにがしかのものがオーケーすれば九時前である
事実13: 仮にあの本線上が罹患し易くないならばこの化学的変化は脳圧昂進でない
事実14: 何らかの物は除名するし更に九時前だとすれば罹患し易いということはない
事実15: この理論化はオーケーする
事実16: その心臓神経症が図太いならあの本線上は除名する
事実17: もしもその心臓神経症はオーケーするし図太いとしたら微笑ましかない
事実18: 仮に「「罹患し易くないしその上除名しない」ということは間違っている」ものがあるとするとその心臓神経症は除名する
事実19: もし仮になにがしかの物が移動し易いとすればオーケーする

仮説: あの来客用は当て付けがましい
1. 事実3と事実6から、推論1: "その心臓神経症は図太い"が導かれる
2. 推論1と事実16から、推論2: "あの本線上は除名する"が導かれる
3. 事実12から、推論3: "もしもあの本線上がオーケーするとするとそれは九時前である"が導かれる
4. 事実4と推論3から、推論4: "あの本線上は九時前である"が導かれる
5. 推論2と推論4から、推論5: "あの本線上は除名するしおまけに九時前だ"が導かれる
6. 事実14から、推論6: "あの本線上が除名するし更に九時前であるとしたらそれは罹患し易くない"が導かれる
7. 推論5と推論6から、推論7: "「あの本線上は罹患し易いということはない」ということは成り立つ"が導かれる
8. 推論7と事実13から、推論8: "「この化学的変化は脳圧昂進でない」ということは本当である"が導かれる
9. 推論8と事実2から、推論9: "「この培養温度は移動し易くないし加えてそれは脳圧昂進でない」ということは成り立たない"が導かれる
10. 推論9と事実7から、仮説が導かれる

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